Re: GCC 4.4 run-time license and non-GPLv3 compilers
On 10-04-2009, Florian Weimer <fw@deneb.enyo.de> 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{,.opt}, and this file is handled the same way as the other
>> files containing the C functions.
>
> 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). Does it change anything ?
Could you point us to the precise location of "the functionality from
libgcc2.c" ?
Regards,
Sylvain Le Gall
Reply to: