On 10-04-2009, Florian Weimer <f...@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
--
To UNSUBSCRIBE, email to debian-legal-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
