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

Re: GCC 4.4 run-time license and non-GPLv3 compilers

Le vendredi 10 avril 2009 à 14:35 +0200, Florian Weimer a écrit :
> At least with a strict interpretation, the run-time exception suffers
> from a significant issue with compilers which are not licensed under a
> GPLv3-compatible license (such as the GPLv2, or the QPL), and which
> are implemented in the language itself.  (One such compiler is
> Objective Caml.)  After compilation with GCC 4.4, such a compiler is a
> "work based on GCC" because it links to the GCC run-time library.

No, the exception is here precisely to make it not so. The ocamlopt
binary was generated through an eligible compilation process, and as
such you can choose your terms for redistribution.

> Therefore, it's output cannot use the run-time library exception (it's
> not the result of an Eligible Compilation Process because it's neither
> the result of running "GCC, alone or with other GPL-compatible
> software," nor "it is done without using any work based on GCC"), and
> the resulting binary is covered by the GPLv3 (potentially among other
> licenses).

I don’t think you can say this is a work based on GCC just because of

Anyway, clarification from the FSF would be better, but I don’t think
this is violating the spirit of the license, so this can be fixed later
on, and this is not a reason not to make GCC 4.4 the default.

 .''`.      Debian 5.0 "Lenny" has been released!
: :' :
`. `'   Last night, Darth Vader came down from planet Vulcan and told
  `-    me that if you don't install Lenny, he'd melt your brain.

Attachment: signature.asc
Description: Ceci est une partie de message =?ISO-8859-1?Q?num=E9riquement?= =?ISO-8859-1?Q?_sign=E9e?=

Reply to: