From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id EB07EBC6B for ; Thu, 20 Sep 2007 13:56:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOv88UbAXQInlGdsb2JhbACOEQEBAQEHBAYH X-IronPort-AV: E=Sophos;i="4.20,278,1186351200"; d="scan'208";a="2965896" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Sep 2007 13:57:31 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8KBuh9f021683 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 20 Sep 2007 13:56:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALP88UbUCb2nh2dsb2JhbACOEQEBAQgKJw X-IronPort-AV: E=Sophos;i="4.20,278,1186351200"; d="scan'208";a="1459655" Received: from mail.enyo.de ([212.9.189.167]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Sep 2007 13:57:30 +0200 Received: from deneb.vpn.enyo.de ([212.9.189.177] helo=deneb.enyo.de) by mail.enyo.de with esmtp id 1IYKev-0005Z2-0O for caml-list@inria.fr; Thu, 20 Sep 2007 13:57:29 +0200 Received: from fw by deneb.enyo.de with local (Exim 4.67) (envelope-from ) id 1IYKNT-0000WO-QA; Thu, 20 Sep 2007 13:39:27 +0200 From: Florian Weimer To: skaller Cc: Zheng Li , caml-list@inria.fr Subject: Re: [Caml-list] Re: [ANN] coThreads 0.10 References: <87lkb5fe3f.fsf@pps.jussieu.fr> <87sl5d8cgd.fsf@pps.jussieu.fr> <46F174D9.5060900@ujf-grenoble.fr> <877imm2z7h.fsf@pps.jussieu.fr> <1190249430.6642.1.camel@rosella.wigram> <20070920142938.d48552f2.mle+ocaml@mega-nerd.com> <1190272316.23116.34.camel@rosella.wigram> <20070920175233.a510630b.mle+ocaml@mega-nerd.com> <87abrhka16.fsf@pps.jussieu.fr> <1190284989.6770.28.camel@rosella.wigram> Date: Thu, 20 Sep 2007 13:39:27 +0200 In-Reply-To: <1190284989.6770.28.camel@rosella.wigram> (skaller@users.sourceforge.net's message of "Thu, 20 Sep 2007 20:43:09 +1000") Message-ID: <87abrhwopc.fsf@mid.deneb.enyo.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 46F25FFC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; restrictive:01 haskell:01 lgpl:01 haskell:01 lgpl:01 ocaml's:01 0.10:98 ffau:98 ffau:98 exception:01 caml-list:01 ghc:01 ghc:01 gmp:02 gmp:02 > It depends how restrictive you *intend* to be. BSD, MIT, Boost, > Creative Commons, etc are for genuinely free software. > Free as in FFAU: Free for Any Use. Do what you like with it! The majority of Creative Commons license is definitely not "FFAU". > EG: GHC Haskell is currently trying to dump GMP because > of the licence. GMP is LGPL, GHC is BSD: dependence on GMP > is therefore a serious barrier to people using Haskell in > industry.. not what the authors want. (Plain LGPL doesn't > have a static linking exception as Ocaml's libraries do). It does, and it's quite straightforward to fulfill. I don't think this is a significant issue, and the "get rid of GMP" project doesn't appear to be terribly successful.