From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id AFA4ABC88 for ; Mon, 31 Jan 2005 08:41:15 +0100 (CET) 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 j0V7fFTe006339 for ; Mon, 31 Jan 2005 08:41:15 +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 IAA20455 for ; Mon, 31 Jan 2005 08:41:14 +0100 (MET) Received: from smtp4.wanadoo.fr (smtp4.wanadoo.fr [193.252.22.27]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j0V7fEpG029666 for ; Mon, 31 Jan 2005 08:41:14 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf0412.wanadoo.fr (SMTP Server) with ESMTP id 6001B1C0017B; Mon, 31 Jan 2005 08:41:14 +0100 (CET) Received: from pegasos (AStrasbourg-251-1-65-234.w82-126.abo.wanadoo.fr [82.126.133.234]) by mwinf0412.wanadoo.fr (SMTP Server) with ESMTP id 2CA171C00178; Mon, 31 Jan 2005 08:41:14 +0100 (CET) X-ME-UUID: 20050131074114182.2CA171C00178@mwinf0412.wanadoo.fr Received: from luther by pegasos with local (Exim 4.43) id 1CvW8U-000348-RB; Mon, 31 Jan 2005 08:38:15 +0100 Date: Mon, 31 Jan 2005 08:38:14 +0100 To: Alex Baretta Cc: Jacques Garrigue , sven.luther@wanadoo.fr, caml-list@inria.fr Subject: Re: [Caml-list] Ocaml license - why not GPL? Message-ID: <20050131073813.GC19902@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> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: <41FDD853.5090801@barettadeit.com> User-Agent: Mutt/1.5.6+20040907i From: Sven Luther X-Miltered: at concorde with ID 41FDE11B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41FDE11A.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 baretta:01 wrote:01 wrote:01 gpl:01 lgpl:01 ocaml:01 compiler:01 compiler: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 08:03:47AM +0100, Alex Baretta wrote: > Jacques Garrigue wrote: > > >To the best of my knowledge, Trolltech decided to release a GPL'ed > >version of Qt because the QPL is not compatible with the GPL, which is > >no surprise at all: by definition the GPL is only compatible with > >itself, or strictly weaker licenses, like BSD or LGPL. > > > >This is less of a problem with ocaml, because the part covered by the > >QPL is the compiler, not the library, so this should only concern > >persons hacking the compiler itself. > > > >Jacques Garrigue > > Hmmm... This is an interesting point! The toplevel library includes the > compiler code, which is licensed under the QPL, but yet somehow must be > allowed to link to GPLed libraries and programs. If the toplevel library > may not be linked with GPLed code, then the toplevel itself become > hardly usable, and a significant portion of my code, which is GPLed and > links the toplevel library, would be illegal. Indeed. > Might the caml breeders please comment on this issue? This is an issue mostly ignored right now, where there is no clear will to solve it, and given the small case of code concerned, nobody bothered. That said, given the restrictions of the QPL, the GPL compatibility may be solved by those modification the ocaml team applied to 3.08.2, or future modifications. Another solution is to licence differently the toplevel code. Friendly, Sven Luther