[opam-devel] licensing handling for Opam

Florent Monnier monnier.florent at gmail.com
Thu Apr 4 19:55:49 BST 2013


2013/4/4, Anil Madhavapeddy <anil at recoi...>:
> On 4 Apr 2013, at 08:13, Florent Monnier <monnier.florent at gmai...> wrote:
>> 2013/04/04, Anil Madhavapeddy <anil at recoi...>:
>> [...]
>>> OASIS has a nice library to handle all this doesn't it?  CCing Sylvain
>>> to see if it can be separately used by OPAM.
>>
>> Be carefull though, such a solution can be for sure a help,
>> but a human check is still necessary.
>>
>> This is very rare but sometimes there is a mismatch between the
>> licensing information provided in the _oasis file and in the headers
>> of the source code.
>> There is currently at least one lib like this.
>
> You should report these upstream to get them fixed.  OPAM isn't really the
> place to hold local patches (as this metadata could be used by other package
> managers too).

Yes I know.
It was just a warning against expecting to get things done
automatically without human checking the results.

(if I haven't reported upstream it's because I've seen it at a moment
when I couldn't report immediatly and the days after I didn't remember
which lib it was)

-- 
Cheers


More information about the opam-devel mailing list