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=AWL 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 3F341BC6B for ; Fri, 21 Sep 2007 18:32:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAABuP80bUGyokimdsb2JhbACOGwIBCAQGDxEH X-IronPort-AV: E=Sophos;i="4.20,284,1186351200"; d="scan'208";a="3053721" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Sep 2007 18:33:34 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8LGWkcs020395 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 21 Sep 2007 18:32:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAABuP80bUGyokimdsb2JhbACOGwIBCAQGDxEH X-IronPort-AV: E=Sophos;i="4.20,284,1186351200"; d="scan'208";a="3053720" Received: from smtp6-g19.free.fr ([212.27.42.36]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Sep 2007 18:33:34 +0200 Received: from smtp6-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp6-g19.free.fr (Postfix) with ESMTP id 76A2DDCE57; Fri, 21 Sep 2007 18:33:35 +0200 (CEST) Received: from [192.168.1.2] (che78-2-82-237-71-191.fbx.proxad.net [82.237.71.191]) by smtp6-g19.free.fr (Postfix) with ESMTP id C52CEDCE37; Fri, 21 Sep 2007 18:33:34 +0200 (CEST) Message-ID: <46F3F25E.8020202@inria.fr> Date: Fri, 21 Sep 2007 18:33:34 +0200 From: Xavier Leroy User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050317) X-Accept-Language: en-us, en MIME-Version: 1.0 To: skaller Cc: Matthew Hannigan , Zheng Li , caml-list@inria.fr Subject: Re: readline license (was: [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> <20070920104420.GB25394@localhost.localdomain> <1190300562.6036.0.camel@rosella.wigram> In-Reply-To: <1190300562.6036.0.camel@rosella.wigram> X-Enigmail-Version: 0.91.0.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 46F3F22E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; readline:01 ocaml's:01 readline:01 ocaml:01 toplevel:01 0.10:98 gpl:01 gpl:01 caml:02 caml:02 groups:02 linking:02 cac:05 xavier:06 xavier:06 >>>Another *famous* example is 'readline()', the code that >>>does line editing for bash. Why is Ocaml's top level >>>so crappy, with no editing? Because of readline()'s GPL >> >>Surely that's not a good reason anymore; there are non-GPL >>workalikes to readline(). > > > Well one might ask Inria why they don't use it? (Just an aside: please say "the Caml development team" rather than "Inria", these are two different things.) So, yes, readline being GPL is a serious obstacle to using it within the OCaml toplevel. More details in this old thread: http://groups.google.com/group/fa.caml/browse_thread/thread/e7266ab6e6df91e7/e5ce04a21c80cac0 This said, rlwrap works pretty well and I don't see many advantages to linking directly with readline. - Xavier Leroy