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