From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB9B3ViS008556 for ; Fri, 9 Dec 2011 12:03:33 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisCAO3p4U6GnQCBlGdsb2JhbABDhQalcCIBAQEBCQsJCRQDIoFyAQEFIw8BRhAJAhgCAgUhAgIPAkYGDQEFAgKtE5E3gTSJKIEWBJRwhUuMXQ X-IronPort-AV: E=Sophos;i="4.71,325,1320620400"; d="scan'208";a="122730929" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 Dec 2011 12:03:32 +0100 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id pB9B35xK046321 ; Fri, 9 Dec 2011 12:03:19 +0100 (CET) X-Ids: 168 Received: from [127.0.0.1] (unknown [134.157.168.1]) by hydrogene.pps.jussieu.fr (Postfix) with ESMTPS id CBA86C0C47; Fri, 9 Dec 2011 12:03:04 +0100 (CET) Message-ID: <4EE1EAED.60406@dogguy.org> Date: Fri, 09 Dec 2011 12:03:09 +0100 From: Mehdi Dogguy User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20111120 Icedove/8.0 MIME-Version: 1.0 To: Gabriel Scherer CC: caml-list@inria.fr, caml@inria.fr References: <20111209065758.94306.qmail@eeoth.pair.com> <4EE1BE59.4020804@glondu.net> In-Reply-To: X-Enigmail-Version: 1.3.3 OpenPGP: id=1C00C790 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Miltered: at jchkmail.jussieu.fr with ID 4EE1EAEA.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4EE1EAEA.001/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ Subject: Re: [Caml-list] Why NOT to compile OCaml via C On 12/09/2011 10:58 AM, Gabriel Scherer wrote: > On Fri, Dec 9, 2011 at 8:52 AM, Stéphane Glondu > wrote: >> However, one barrier is the licensing: QPL is incompatible with >> almost any license (even QT does no longer use it!). Has it ever >> been considered to switch the "public" license to e.g. GPLv3 >> (which looks constraining enough, and compatible with GCC)? > > Stéphane, I am surprised at how good your are at raising trollish > topics ! > > I don't think now is a good time to discuss this; maybe we should > wait for dust to settle on the other trolls before restarting a > "discussion" (where everyone agrees, but BSD or GPL?) on this. > Gabriel, I'm really surprised at how good you are at stopping any serious discussion ! I really doubt Stéphane wanted to start another trollish topic on the list. In fact, he raised a very important point (IMHO). If one seriously considers investigating some time to contribute such a backend, the licensing issue will be the first stopper. It is amazing how people easily turn controversial questions into "trolls" ! Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/