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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 6B622BC6B for ; Sat, 4 Aug 2007 21:17:17 +0200 (CEST) Received: from furbychan.cocan.org (furbychan.cocan.org [80.68.91.176]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l74JHF68006111 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Sat, 4 Aug 2007 21:17:17 +0200 Received: from rich by furbychan.cocan.org with local (Exim 3.35 #1 (Debian)) id 1IHP7P-0003Ct-00; Sat, 04 Aug 2007 20:16:55 +0100 Date: Sat, 4 Aug 2007 20:16:55 +0100 To: skaller Cc: Brian Hurt , tmp123@menta.net, ocaml ml Subject: Re: [Caml-list] Sorted list Message-ID: <20070804191654.GI23762@furbychan.cocan.org> References: <46B4485B.7040406@menta.net> <46B454ED.700@philippewang.info> <1186226538.14440.105.camel@rosella.wigram> <46B48F3C.1040904@menta.net> <1186242141.11801.10.camel@rosella.wigram> <20070804162135.GA7370@furbychan.cocan.org> <1186250087.6025.41.camel@rosella.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1186250087.6025.41.camel@rosella.wigram> User-Agent: Mutt/1.5.9i From: Richard Jones X-Miltered: at discorde with ID 46B4D0BB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0100,:01 lgpl:01 iterator:01 ocaml:01 distros:01 ocaml:01 lgpl:01 camlp:01 camlp:01 versioning:01 distros:01 dependencies:01 dependencies:01 ffau:98 wrote:01 On Sun, Aug 05, 2007 at 03:54:47AM +1000, skaller wrote: > On Sat, 2007-08-04 at 17:21 +0100, Richard Jones wrote: > > > Well, I would like to see a community process for selecting, > > > implementing, documenting and maintaining a set of good algorithms > > > which go IN THE STANDARD DISTRIBUTION (under the usual LGPL+X licence, > > > with a disclaimer the code base isn't maintained by Inria, merely > > > distributed on behalf of the community). > > > > But what's wrong with extlib? Now I know it's not the "Standard" > > distribution, but that's a mere packaging issue. > > A 'mere' packaging issue??? That's the very issue that concerns me. > > I think there are other (technical) problems with extlib too: > the iterator design is a bit suspicious, and the implementation > is using Obj.magic without Inria support. Well you don't need to use those bits. I use ExtList and ExtString mainly. > However the packaging issue is the primary problem, for this > and other 3PLs (third party libraries). > > My own package requires standard Python, Ocaml, and C++ distros. > That's it. That's already bad enough. The only 3PL's allowed > are provided as source and built by the Felix build system. > On the Ocaml side this includes Dypgen and OCS Scheme. > Extlib couldn't be included this way because it is LGPL. > Felix is FFAU (free for any use modulo propagating copyright > notices). > > I carefully avoid 3PL's I can't include as source, and as > many complications -- such as camlp4/5 -- as possible. > [I wish I could use ulex .. but it uses camlp4/5 extensions] > Getting Ocaml to work at all on Windows is hard enough > for clients. Well, Windows is a world apart. It has no packaging system to speak of, no versioning, no centralised repository, no installation policies of note. In other words, it's where Linux was circa 1993. Linux distros on the other hand have all of the above, so it's just a matter of doing 'apt-get install felix' and in a few months, 'yum install felix'. All dependencies on whatever esoteric libraries required are resolved automatically with no user intervention. If that's too hard for users, they can click Applications -> Add/Remove Software and pick and hunt for the package they require, and the package + dependencies get installed. Rich. -- Richard Jones Red Hat