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.html Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
Attachment:
signature.asc
Description: Digital signature