From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id B4A19BC88 for ; Mon, 31 Jan 2005 08:03:51 +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 j0V73o0C024993 for ; Mon, 31 Jan 2005 08:03:51 +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 IAA20157 for ; Mon, 31 Jan 2005 08:03:50 +0100 (MET) Received: from alex.barettalocal.com (h213-255-109-130.albacom.net [213.255.109.130] (may be forged)) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j0V73nxA024990 for ; Mon, 31 Jan 2005 08:03:49 +0100 Received: from [127.0.0.1] (localhost.localdomain [127.0.0.1]) by alex.barettalocal.com (Postfix) with ESMTP id 1E76D2BB900; Mon, 31 Jan 2005 08:03:48 +0100 (CET) Message-ID: <41FDD853.5090801@barettadeit.com> Date: Mon, 31 Jan 2005 08:03:47 +0100 From: Alex Baretta User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20050105 Debian/1.7.5-1 X-Accept-Language: it, en-us, en MIME-Version: 1.0 To: Jacques Garrigue Cc: sven.luther@wanadoo.fr, caml-list@inria.fr Subject: Re: [Caml-list] Ocaml license - why not GPL? 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> In-Reply-To: <20050131.095711.27629180.garrigue@math.nagoya-u.ac.jp> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 41FDD856.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41FDD855.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; baretta:01 caml-list:01 ocaml:01 gpl:01 wrote:01 gpl:01 lgpl:01 ocaml:01 compiler:01 compiler:01 hmmm:01 toplevel:01 toplevel:01 baretta:01 ...:98 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: 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. Might the caml breeders please comment on this issue? Alex -- ********************************************************************* http://www.barettadeit.com/ Baretta DE&IT A division of Baretta SRL tel. +39 02 370 111 55 fax. +39 02 370 111 54 Our technology: The Application System/Xcaml (AS/Xcaml) The FreerP Project