Re: Lintian checks
On 14-10-2009, Stefano Zacchiroli <zack@debian.org> 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
Reply to: