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 14EDDBC88 for ; Mon, 31 Jan 2005 12:08:38 +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 j0VB8b0L025967 for ; Mon, 31 Jan 2005 12:08:37 +0100 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 MAA24648 for ; Mon, 31 Jan 2005 12:08:37 +0100 (MET) Received: from alex.barettalocal.com (h213-255-109-130.albacom.net [213.255.109.130] (may be forged)) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j0VB8a4M004275 for ; Mon, 31 Jan 2005 12:08:37 +0100 Received: from [127.0.0.1] (localhost.localdomain [127.0.0.1]) by alex.barettalocal.com (Postfix) with ESMTP id 28DB12BB900 for ; Mon, 31 Jan 2005 12:08:37 +0100 (CET) Message-ID: <41FE11B4.2020300@barettadeit.com> Date: Mon, 31 Jan 2005 12:08:36 +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: Ocaml 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> <41FDD853.5090801@barettadeit.com> <20050131073813.GC19902@pegasos> <41FDE282.7040709@barettadeit.com> <20050131090006.GA18352@yquem.inria.fr> <016a01c50779$e62f1650$ef01a8c0@warp> In-Reply-To: <016a01c50779$e62f1650$ef01a8c0@warp> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce with ID 41FE11B5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41FE11B4.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 cannasse:01 wrote:01 gpl:01 toplevel:01 ocaml:01 redistribute:01 compiler:01 compiler:01 lexifi:01 redistribute:01 baretta:01 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: Nicolas Cannasse wrote: >>- 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 >> 3) get a more liberal license for OCaml by becoming a member >> of the Caml Consortium. > > > If I understand well, Alex can choose the (3) and get a license that is GPL > compatible. But as it has been said before the only licenses compatible with > GPL are weaker license, that are "at least" GPL. So a company getting into > the Caml Consortium might get rights to redistribute the compiler as GPL ? > Are you sure about that ? It looks like actually getting into the Consortium > helps with being able to fork privatly the compiler, as Lexifi did, but not > to redistribute a GPL version of this fork. I understand INRIA folks are not > lawyer, neither I am, but it looks logical. Indeed, Baretta DE&IT plans to become a member of the Consortium. Since all our code is released under strict GPL, except for patches to other free software projects which are released under the same terms as the orginal code, we would request that INRIA licensed to the code to us under strict GPL or under terms allowing us to relicense it under GPL. Will the caml ... ahem ... /authors/¹ allow me to do this? Alex ¹ Notice that in compliance to Xavier's request I am renouncing my historic dichotomy classyfing developers as "caml riders" or "caml breeders". I am thinking very hard to come up with a new one. ;) -- ********************************************************************* 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