GMP license: COPYING file (GPL) and LGPLv3

[Vincent Lefevre]

On 2014-03-18 11:48:23 +0100, Andreas Enge wrote:
> I suspect that as is usual for GNU projects, each source file contains
> a header with its license. I checked a few of them, and this seems to be
> indeed the case. So if this is important for your project, you will have
> to check each file you are going to use.

Some projects do more, by saying what is under which license, but
I wonder whether this is accurate in practice.

Even for GMP, the README file is ambiguous, if not incorrect: the
manual is under the GFDL, and some files, such as install-sh and
the Makefile.in ones, have a special license (BTW, I'm wondering
why Debian devs didn't complain that the "as long as this notice
is preserved" makes the file non-free).

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)