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. >>> >> &g

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.) > >> Int

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

2009-04-10 Thread Sylvain Le Gall
le I've verified.) > Int64 module is under LGPL + static link exception (and everything related to runtime library). Does it change anything ? Could you point us to the precise location of "the functionality from libgcc2.c" ? Regards, Sylvain Le Gall -- To UNSUBSCRI