On 14-10-2009, Stefano Zacchiroli <[email protected]> wrote: > > --4Ckj6UjgE2iN1+kY > Content-Type: text/plain; charset=iso-8859-1 > Content-Disposition: inline > Content-Transfer-Encoding: quoted-printable > > On Wed, Oct 14, 2009 at 08:52:27AM +0000, Sylvain Le Gall wrote: >> We can have objects compiled with -p/-g but they must be advertised as >> such. E.g. I like the .d.cm[oa] and .p.cmx/cmxa extensions. At least >> you know that you are dealing with debug/profiling objects. > > Debugging and profiling are different and I think they deserve different > defaults. > >> If toto.cma has been compiled with -g, this is at least a warning (I >> would even say it is an error). > > May I remind you that our current policy recommends ("should") compiling > all objects with debugging enabled? Chapter 3, on line version at > http://pkg-ocaml-maint.alioth.debian.org/ocaml_packaging_policy.html/c305.h= > tml >
I think it deserve a removal from the policy ;-) Do you agree ? Regards Sylvain Le Gall -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
