From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 98749BC88 for ; Mon, 31 Jan 2005 10:18:50 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j0V9Io0r010041 for ; Mon, 31 Jan 2005 10:18:50 +0100 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 KAA23796 for ; Mon, 31 Jan 2005 10:18:49 +0100 (MET) Received: from smtp9.wanadoo.fr (smtp9.wanadoo.fr [193.252.22.22]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j0V9InkI010035; Mon, 31 Jan 2005 10:18:49 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf0912.wanadoo.fr (SMTP Server) with ESMTP id 55BE51C005E4; Mon, 31 Jan 2005 10:18:49 +0100 (CET) Received: from pegasos (AStrasbourg-251-1-65-234.w82-126.abo.wanadoo.fr [82.126.133.234]) by mwinf0912.wanadoo.fr (SMTP Server) with ESMTP id 125531C005A6; Mon, 31 Jan 2005 10:18:49 +0100 (CET) X-ME-UUID: 20050131091849752.125531C005A6@mwinf0912.wanadoo.fr Received: from luther by pegasos with local (Exim 4.43) id 1CvXev-0007Qp-WB; Mon, 31 Jan 2005 10:15:50 +0100 Date: Mon, 31 Jan 2005 10:15:49 +0100 To: Xavier Leroy Cc: Alex Baretta , Sven Luther , Ocaml Subject: Re: [Caml-list] Ocaml license - why not GPL? Message-ID: <20050131091549.GA27694@pegasos> References: <20050128164744.GG13718@osiris.uid0.sk> <20050129.150538.78035843.garrigue@math.nagoya-u.ac.jp> <20050130062235.GC32348@pegasos> <20050131.095711.27629180.garrigue@math.nagoya-u.ac.jp> <41FDD853.5090801@barettadeit.com> <20050131073813.GC19902@pegasos> <41FDE282.7040709@barettadeit.com> <20050131090006.GA18352@yquem.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: <20050131090006.GA18352@yquem.inria.fr> User-Agent: Mutt/1.5.6+20040907i From: Sven Luther X-Miltered: at nez-perce with ID 41FDF7FA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41FDF7F9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 gpl:01 sven:01 luther:01 sven:01 luther:01 wrote:01 hmmm:01 toplevel:01 compiler:01 baretta:01 toplevel:01 gpl:01 breeder:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Mon, Jan 31, 2005 at 10:00:06AM +0100, Xavier Leroy wrote: > > Hmmm... This is an interesting point! The toplevel library includes > > the compiler code, which is licensed under the QPL, > > Correct. > > > but yet somehow must be allowed to link to GPLed libraries and > > programs. > > You meant: "I (Alessandro Baretta) needs to link it to GPLed libraries > and programs". There is no moral imperative of being able to link > something with GPLed stuff. > > > If the toplevel library may not be linked with GPLed code, > > then the toplevel itself become hardly usable, > > Again, you meant "... usable to me because of my choice of the GPL". > > > and a significant > > portion of my code, which is GPLed and links the toplevel library, > > would be illegal. > > Might the caml breeders please comment on this issue? > > Only if you stop calling me a "caml breeder". Makes me feel like a > nuclear reactor :-) > > More seriously: > > - The toplevel library is indeed covered by the QPL. > > - Clause 6 of the QPL is pretty clear. In summary, it stipulates that > a QPL-ed library can be linked with pretty much any code that is > distributed as open source. But please don't take my words for it: > read the license. > > - The problem in your case is most likely to be with the GPL, which > puts much stronger requirements on any piece of code that comes > in contact with GPL-ed code. But don't take my word for it, as > I have no expertise (and no interest) in license compatibility issues. > Read the GPL, consult license experts, make up your mind. No, i think the incompatibility is because the QPL buts stronger obligations on the user of the code, obligations that go beyond the GPL. Clause 3b is such an obligation which the GPL doesn't have for example, and thus make it incompatible with the GPL, which doesn't allow for restrictions beyond those imposed by the GPL. Actually from a quick read of the current ocaml licence, i get a feeling that only Clause 3b remains which is GPL incompatible, it would need another reading thought to be sure about this. That said, the clause 3b is probably the clause that was the one considered by the ocaml team to chose the QPL in the first place, in order to be able to relicence ocaml under the Caml Consortium umbrella, without needing additional paperwork to integrate outside patches. A dual-licencing situation would maybe be cleaner, but more cumbersome for you. > - If it turns out you have a QPL/GPL incompatibility, you have exactly > three options: > 1) don't use the toplevel library > 2) put your code under another license than the GPL The GPL exception mentioned in another mail in this thread should be enough i think. > 3) get a more liberal license for OCaml by becoming a member > of the Caml Consortium. /me wonders if becoming part of the Caml Consortium would allow someone to get a GPLed (or BSDed) version of ocaml :) > > This bothers me quite a bit. Am I to expect a legal pursuit from INRIA > > for violating the QPL for having released mixed GPL+QPL code? > > No, because you didn't violate our license (the requirements set by > the QPL are met). > > > Or am I to pursue myself because the QPL breaks my own GPLed code? > > This is more like it :-) You, or your customers. Remember, > inconsistent license = no license = nobody can do anything with your code. > > > I would really appreciate an official response from the INRIA people. I > > think Ocaml is a great tool for commercial free software development, > > but in order to be able to build a thriving business I must make sure > > that Xavier et al. won't meet me with a team of Dobermans to settle > > copyright issues... > > Again, your problems are not with us. The ones that could come after > you are your customers. Also my analysis. Friendly, Sven Luther