Re: [Caml-list] Dynamically evaluating OCaml code

[Remi Vanicat <remi.vanicat@laposte.net>]

skaller <skaller@users.sourceforge.net> writes:

> On Fri, 2004-04-09 at 16:33, Remi Vanicat wrote:
>
>> If it is LGPL + special exception (as the stdlib of ocaml) I don't see
>> the problem. GPL can be a problem thought.
>
> Not sure of the 'special exception' but my impression is that
> whilst one is free to use "as is" an LGPL library by
> first compiling it, then linking to it, without polluting
> the licence of the code using it, that freedom doesn't
> extend to the source itself. 

Yes,

> If I combine parts of the source of a library with my own sources,
> my sources are contaminated.

Yes.

>
> My distro is entirely in 'pre-source' form, which makes a mockery of
> the LGPL.

Well, if your package include the unmodified library, there is no
problem. There is not problem even if you include a modified library
if the modified library is still under LGPL + special exception.

>
> It isn't clear what happens here:
>
> (* LGPL_client.ml *)
> module LGPL.Make(struct type t = int end)
>
> ocamlc -i LGPL_client.ml > LGPL_client.mli
>
> well, is that a 'derived work' covered by LGPL
> or is it free for any use?

No, you are using it, not deriving from it. The library is
unmodified. 

[...]


-- 
Rémi Vanicat

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners