From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA21992; Fri, 9 Apr 2004 10:17:53 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA21279 for ; Fri, 9 Apr 2004 10:17:51 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from mwinf0101.wanadoo.fr (smtp1.wanadoo.fr [193.252.22.30]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i398Ijjq021698 for ; Fri, 9 Apr 2004 10:18:45 +0200 Received: from vanicat.homelinux.org (ca-bordeaux-17-42.w80-8.abo.wanadoo.fr [80.8.89.42]) by mwinf0101.wanadoo.fr (SMTP Server) with ESMTP id D7DB3C000219 for ; Fri, 9 Apr 2004 10:17:49 +0200 (CEST) Received: from moi by vanicat.homelinux.org with local (Exim 4.31) id 1BBrCv-0007xZ-3z for caml-list@inria.fr; Fri, 09 Apr 2004 10:17:49 +0200 To: caml-list@inria.fr Subject: Re: [Caml-list] Dynamically evaluating OCaml code References: <20020104004356.GA1672@mev> <20040408133727.GC29195@excelhustler.com> <20040408145606.GA18473@fichte.ai.univie.ac.at> <20040408153056.GB30763@excelhustler.com> <20040408164404.GA19556@fichte.ai.univie.ac.at> <1081491825.20677.89.camel@pelican> <877jwpk6dr.dlv@vanicat.homelinux.org> <1081496258.20677.143.camel@pelican> From: Remi Vanicat Mail-Followup-To: caml-list@inria.fr Mail-Copy-To: never Date: Fri, 09 Apr 2004 10:17:48 +0200 In-Reply-To: <1081496258.20677.143.camel@pelican> (skaller@users.sourceforge.net's message of "09 Apr 2004 17:37:39 +1000") Message-ID: <87wu4po98z.dlv@vanicat.homelinux.org> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 dynamically:01 sourceforge:01 2004:99 lgpl:01 stdlib:01 gpl:01 lgpl:01 polluting:01 distro:01 unmodified:01 struct:01 ocamlc:01 mli:01 'derived:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 204 skaller 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