From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E4435BC3F for ; Wed, 27 Oct 2004 16:25:17 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9REPGZI021647 for ; Wed, 27 Oct 2004 16:25:16 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA17922 for ; Wed, 27 Oct 2004 16:25:16 +0200 (MET DST) Received: from mwinf0507.wanadoo.fr (smtp5.wanadoo.fr [193.252.22.26]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9REPFF1021643 for ; Wed, 27 Oct 2004 16:25:16 +0200 Received: from me-wanadoo.net (unknown [127.0.0.1]) by mwinf0507.wanadoo.fr (SMTP Server) with SMTP id CB4131800134; Wed, 27 Oct 2004 16:25:15 +0200 (CEST) Received: from pegasos (AStrasbourg-251-1-39-25.w82-126.abo.wanadoo.fr [82.126.156.25]) by mwinf0507.wanadoo.fr (SMTP Server) with ESMTP id 298CB1800223; Wed, 27 Oct 2004 16:25:15 +0200 (CEST) Received: from luther by pegasos with local (Exim 4.34) id 1CMoy6-0000jv-7v; Wed, 27 Oct 2004 16:40:06 +0200 Date: Wed, 27 Oct 2004 16:40:06 +0200 To: skaller Cc: David Brown , Christoph Bauer , OCaml List Subject: Re: [Caml-list] Announce: Schoca-0.2.3 released Message-ID: <20041027144005.GA1803@pegasos> References: <1098642597.3075.32.camel@pelican.wigram> <20041025025832.GA1582@old.davidb.org> <1098681488.3075.151.camel@pelican.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: <1098681488.3075.151.camel@pelican.wigram> User-Agent: Mutt/1.5.6+20040907i From: Sven Luther X-Miltered: at concorde with ID 417FAFCC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 417FAFCB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 sven:01 luther:01 sven:01 luther:01 wrote:01 wrote:01 gpl:01 ocaml:01 lgpl:01 gpl:01 lgpl:01 derivative:01 ocaml:01 runtime:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: On Mon, Oct 25, 2004 at 03:18:09PM +1000, skaller wrote: > On Mon, 2004-10-25 at 12:58, David Brown wrote: > > On Mon, Oct 25, 2004 at 04:29:59AM +1000, skaller wrote: > > > > > It would be useful when making an anouncement if you could > > > specify the licence. This saves wasting time. > > > > > > On the home page it says: > > > > > > "This software is free for free software. It is released under the GPL." > > > > > > Hmm. So if I link it against the Ocaml standard libraries, > > > they have to be GPL'd too. But they're not .. > > > > What??? > > I'm wrong, LGPL specifically allows change of licence to GPL. > Sorry. Well, i personally was under the impression that when you link a LGPLed and a GPLed work together, the result needs to be under the more restricive licence, namely the GPL. This is indeed what you can read in point 3 of the LGPL, which is the one you seem to mention : 3. You may opt to apply the terms of the ordinary GNU General Public License instead of this License to a given copy of the Library. To do this, you must alter all the notices that refer to this License, so that they refer to the ordinary GNU General Public License, version 2, instead of to this License. (If a newer version than version 2 of the ordinary GNU General Public License has appeared, then you can specify that version instead if you wish.) Do not make any other change in these notices. ^L Once this change is made in a given copy, it is irreversible for that copy, so the ordinary GNU General Public License applies to all subsequent copies and derivative works made from that copy. This option is useful when you wish to copy part of the code of the Library into a program that is not a library. This basically says, that you are allowed to use LGPLed code, and integrate it into GPLed code. I doubt that the ocaml runtime library exception is compatible with the GPL though, not really sure. Anyway, this kind of compatbility is not the same as merely linking with LGPLed code, and the resulting binary is under the GPL, which may or may not have been your intentions. Friendly, Sven Luther