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 that. 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. Cheers, -- .''`. 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.
Description: Ceci est une partie de message =?ISO-8859-1?Q?num=E9riquement?= =?ISO-8859-1?Q?_sign=E9e?=