[eigen] Re: MPL2 is really compatible with GPL/LGPL

[Benoit Jacob <jacob.benoit.1@xxxxxxxxx>]

2012/6/28 Benoit Jacob <jacob.benoit.1@xxxxxxxxx>:
> Hi,
>
> I've finally had a look at it and in fact it's really clear --- sorry,
> I don't know why I took so long to get back to it, sometimes you just
> need to give your brain some time before you come back to a problem.
>
> I am CC'ing Gerv who is a MPL expert at Mozilla to hopefully check
> that I am not saying anything wrong here.
>
> Here goes:
>
> The MPL itself doesn't ever mention the GPL, LGPL,

I was wrong on this minor point, as Danny kindly pointed out to me:
the MPL2 does mention the GPL and LGPL in the list of possible
"Secondary Licenses" in 1.12:

> 1.12. “Secondary License”
>
>    means either the GNU General Public License, Version 2.0, the GNU Lesser General Public License, Version 2.1, the GNU Affero General Public License, Version 3.0, or any later versions of those licenses.

Anyway, that covers all the versions of the LGPL and GPL that we care
about. Good!

Benoit



> or any other
> licenses. So the compatibility is implicit and generic. The FAQ
> explains it, though not as simply as I would like for non-lawyers,
> which is why I didn't get back to it until today:
> http://www.mozilla.org/MPL/2.0/FAQ.html#mpl-and-lgpl
>
> Here is my understanding of things from the MPL2 text, regardless of the FAQ:
>
> The license is designed to be GPL compatible by default, but allow you
> to opt out from it. This opting-out feature is primarily intended for
> existing software that is licensed under MPL1, and not dual-licensed
> with GPL and/or LGPL. Such software is not currently GPL-compatible,
> so they had to find a way to allow it to upgrade without having to
> accept GPL-compatibility (I guess). Anyway, the key is that this is
> NOT our case and if we relicense to plain default MPL2 we are NOT
> concerned by this at all. The default case, into which we fall by
> default, is GPL-compatible.
>
> Here is how this is working in the MPL2 text. The key part is Section 3.3:
>
>> 3.3. Distribution of a Larger Work
>>
>> You may create and distribute a Larger Work under terms of Your choice, provided that You also comply with the requirements of this License for the Covered Software. If the Larger Work is a combination of Covered Software with a work governed by one or more Secondary Licenses, and the Covered Software is not Incompatible With Secondary Licenses, this License permits You to additionally distribute such Covered Software under the terms of such Secondary License(s), so that the recipient of the Larger Work may, at their option, further distribute the Covered Software under the terms of either this License or such Secondary License(s).
>
> So as long as we are not "Incompatible With Secondary Licenses", we
> are GPL compatible in the sense that if you combine MPL2 and GPL code
> to create a Larger Work, you can distribute the Larger Work under dual
> MPL/GPL. As explained in the FAQ, "Someone downstream from your
> recipients can then take under (L)GPL-only or MPL-only.".
>
> The question becomes then, what decides whether we are "Incompatible
> With Secondary Licenses"?
>
> This is explained clearly by Section 1.5: we would be "Incompatible
> With Secondary Licenses" if either of the following conditions were
> true:
>  - either if Eigen had been previously licensed as MPL1 only (does not
> apply to dual-licensing with MPL and another license).
>  - or if we added the text snippet from Exhibit B to explicitly opt
> out from compatibility
>
> Since we are not in either case, we are not  "Incompatible With
> Secondary Licenses". Therefore, the provisions of 3.3. Distribution of
> a Larger Work apply to us, i.e. we are compatible.
>
> Is this fully clear to everyone?
> Benoit