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

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" ?

Sylvain Le Gall

Reply to: