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

2009-12-07 Thread Matthias Klose
On 22.11.2009 19:49, Florian Weimer wrote: * Matthias Klose: On 21.11.2009 06:20, Florian Weimer wrote: * Steve Langasek: It's been suggested to me that it might help Debian move forward on this issue if I provide some background on why Canonical has chosen to not regard this issue as critic

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

2009-11-22 Thread Steve Langasek
Hi Florian, On Sat, Nov 21, 2009 at 01:20:15PM +0100, Florian Weimer wrote: > > It's been suggested to me that it might help Debian move forward on this > > issue if I provide some background on why Canonical has chosen to not regard > > this issue as critical for Ubuntu. > My personal impressio

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

2009-11-22 Thread Florian Weimer
* Matthias Klose: > On 21.11.2009 06:20, Florian Weimer wrote: >> * Steve Langasek: >> >>> It's been suggested to me that it might help Debian move forward on this >>> issue if I provide some background on why Canonical has chosen to not regard >>> this issue as critical for Ubuntu. >> >> My perso

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

2009-11-22 Thread Matthias Klose
On 21.11.2009 06:20, Florian Weimer wrote: * Steve Langasek: It's been suggested to me that it might help Debian move forward on this issue if I provide some background on why Canonical has chosen to not regard this issue as critical for Ubuntu. My personal impression is that Debian does not

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

2009-11-21 Thread Florian Weimer
* Steve Langasek: > It's been suggested to me that it might help Debian move forward on this > issue if I provide some background on why Canonical has chosen to not regard > this issue as critical for Ubuntu. My personal impression is that Debian does not view this issue as critical, either. Swi

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

2009-11-20 Thread Steve Langasek
Hi all, On Fri, Apr 10, 2009 at 02:35:28PM +0200, Florian Weimer wrote: > Starting with version 4.4, the FSF the licenses the GCC run-time > library with a special exception: > | Under Section 7 of GPL version 3, you are granted additional > | permissions described in the GCC Runtime Library Exce

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

2009-08-20 Thread Matthias Klose
On 16.08.2009 10:50, Luk Claes wrote: Matthias Klose wrote: On 29.04.2009 04:49, Florian Weimer wrote: * Florian Weimer: I've asked the FSF for a clarification (the second time, the first clarification resulted in the Java bytecode exception). Until we know for sure how to interpret the exce

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

2009-08-16 Thread Luk Claes
Matthias Klose wrote: > On 29.04.2009 04:49, Florian Weimer wrote: >> * Florian Weimer: >> >>> I've asked the FSF for a clarification (the second time, the first >>> clarification resulted in the Java bytecode exception). Until we know >>> for sure how to interpret the exception, it's probably bes

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

2009-07-22 Thread Florian Weimer
* Kalle Olavi Niemitalo: > Please consider also the effect of GCC 4.4 on GPLv2-only applications, > where the application's licence requires source code under GPLv2, > including the source code of libgcc if GCC accompanies the executable, > but the source code of libgcc in GCC 4.4 is not available

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

2009-07-21 Thread Kalle Olavi Niemitalo
Matthias Klose writes: > Apparently there's no feedback yet from the FSF. This issue should not > prevent upgrading GCC to 4.4 for squeeze. Please consider also the effect of GCC 4.4 on GPLv2-only applications, where the application's licence requires source code under GPLv2, including the sourc

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

2009-07-20 Thread Matthias Klose
On 29.04.2009 04:49, Florian Weimer wrote: * Florian Weimer: I've asked the FSF for a clarification (the second time, the first clarification resulted in the Java bytecode exception). Until we know for sure how to interpret the exception, it's probably best not to make GCC 4.4 the default comp

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

2009-04-29 Thread Florian Weimer
* Florian Weimer: > I've asked the FSF for a clarification (the second time, the first > clarification resulted in the Java bytecode exception). Until we know > for sure how to interpret the exception, it's probably best not to > make GCC 4.4 the default compiler in sid/squeeze. For the record,

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

2009-04-15 Thread Joe Smith
"Stéphane Glondu" wrote: So one could even make a proprietary compiler using C as an intermediate langage, and GCC for the final stage, I guess. Comeau C++'s GNU/Linux builds do exactly that. (In general it uses the local C compiler as a slightly higher level assembler. This saves them the

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

2009-04-11 Thread Florian Weimer
* Josselin Mouette: > 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), an

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

2009-04-10 Thread Josselin Mouette
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

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

2009-04-10 Thread Sylvain Le Gall
On 10-04-2009, Florian Weimer wrote: > * Sylvain Le Gall: > >>> byterun/ints.c, function caml_int64_div, the I64_div macro. This is >>> expanded into a plain division operator, and that is compiled into a >>> run-time library call by GCC. >>> >> >> I64_div is a function defined either in byterun/

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

2009-04-10 Thread Florian Weimer
* Sylvain Le Gall: >> byterun/ints.c, function caml_int64_div, the I64_div macro. This is >> expanded into a plain division operator, and that is compiled into a >> run-time library call by GCC. >> > > I64_div is a function defined either in byterun/int64_emul.h o > byterun/int64_native.h. Readin

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

2009-04-10 Thread Sylvain Le Gall
On 10-04-2009, Florian Weimer wrote: > * Sylvain Le Gall: > >>> But in Debian, we compile with GCC. And for the Int64 module, >>> functionality from libgcc2.c gets compiled into the binary. (This is >>> just the example I've verified.) > >> Int64 module is under LGPL + static link exception (and

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

2009-04-10 Thread Florian Weimer
* Sylvain Le Gall: >> But in Debian, we compile with GCC. And for the Int64 module, >> functionality from libgcc2.c gets compiled into the binary. (This is >> just the example I've verified.) > Int64 module is under LGPL + static link exception (and everything > related to runtime library). Doe

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

2009-04-10 Thread Sylvain Le Gall
On 10-04-2009, Florian Weimer wrote: > * Stéphane Glondu: > >> * The runtime (ocamlrun) is a pure C program, that can be compiled with >>any C compiler. Customized runtimes (with functions implemented in C) >>can be generated; in this case, a C file might be generated by >>ocamlc{,.op

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

2009-04-10 Thread Florian Weimer
* Stéphane Glondu: > * The runtime (ocamlrun) is a pure C program, that can be compiled with >any C compiler. Customized runtimes (with functions implemented in C) >can be generated; in this case, a C file might be generated by >ocamlc{,.opt}, and this file is handled the same way as

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

2009-04-10 Thread Stéphane Glondu
Florian Weimer a écrit : > Starting with version 4.4, the FSF the licenses the GCC run-time > library with a special exception: [...] A few precisions: * OCaml doesn't depend on any GCC-specific feature. It works with any C compiler. * There are 4 compilers for Objective Caml: - ocamlc,

GCC 4.4 run-time license and non-GPLv3 compilers

2009-04-10 Thread Florian Weimer
Starting with version 4.4, the FSF the licenses the GCC run-time library with a special exception: | Under Section 7 of GPL version 3, you are granted additional | permissions described in the GCC Runtime Library Exception, version | 3.1, as published by the Free Software Foundation. The exceptio