On 14-10-2009, Stefano Zacchiroli <[email protected]> wrote: > > --SLDf9lqlvOQaIe6s > Content-Type: text/plain; charset=iso-8859-1 > Content-Disposition: inline > Content-Transfer-Encoding: quoted-printable > > On Wed, Oct 14, 2009 at 08:27:47AM +0000, Sylvain Le Gall wrote: >> As Mehdi said, we have done something for -custom, but totaly forgot >> to speak about -g/-p flag when compiling. I think it is worth adding > > What about '-p'? (profiling, and only for ocamlopt) > We surely do _not_ want it enabled in our objects, right? >
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. If toto.cma has been compiled with -g, this is at least a warning (I would even say it is an error). Regards Sylvain Le Gall -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
