[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Lintian checks



On 14-10-2009, Stefano Zacchiroli <zack@debian.org> 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


Reply to: