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.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 236BEBC69 for ; Wed, 26 Sep 2007 17:50:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAMIc+kbZDAshnmdsb2JhbACOLwEBAQEHBAYFChg X-IronPort-AV: E=Sophos;i="4.20,302,1186351200"; d="scan'208";a="16822500" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2007 17:50:18 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8QFo2O2032570 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 26 Sep 2007 17:50:18 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAMIc+kbZDAshnmdsb2JhbACOLwEBAQEHBAYFChg X-IronPort-AV: E=Sophos;i="4.20,302,1186351200"; d="scan'208";a="16822498" Received: from smtp002.mail.ukl.yahoo.com ([217.12.11.33]) by mail4-smtp-sop.national.inria.fr with SMTP; 26 Sep 2007 17:50:18 +0200 Received: (qmail 79435 invoked from network); 26 Sep 2007 15:50:17 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Received:X-YMail-OSG:Mime-Version:In-Reply-To:References:Content-Type:Message-Id:Content-Transfer-Encoding:From:Subject:Date:To:X-Mailer; b=196b+NkzJBcUP1tcVEW7fcC9Sfn7zdiGA3L7HeXC5GUi5dzPf5gETeRo4o4PeEvkQenTf2vHXWVZwhQ6sZlixFArWNza1IWAJ930Cy2Ugdnq6QXjTYxWmCOWDjI+mLwEQn6luoWNW2+pZQqL4QiqLGUSBvfA5vtox57ykrFOGcM= ; Received: from unknown (HELO ?192.168.0.10?) (vincent.aravantinos@82.229.199.66 with plain) by smtp002.mail.ukl.yahoo.com with SMTP; 26 Sep 2007 15:50:17 -0000 X-YMail-OSG: YlD_FrEVM1kviNW3H.fD5GPg5gxyTBqmmR4pkKF2VKwalNaW Mime-Version: 1.0 (Apple Message framework v752.2) In-Reply-To: References: <46F95938.7030107@cs.umd.edu> <17487E59-04F2-4509-87B5-24377B051E9E@epfl.ch> <46F961E5.5060302@cs.umd.edu> <55A4E82E-3D05-4F79-A8A6-A87905EB4FC8@epfl.ch> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <6229FB62-3630-449C-BDDC-AD18FAB05DAE@yahoo.fr> Content-Transfer-Encoding: 7bit From: Vincent Aravantinos Subject: Re: Cherry-picking modules (was Re: [Caml-list] [ANN] OCaml Reins 0.1 - Persistent Data Structure Library) Date: Wed, 26 Sep 2007 17:50:15 +0200 To: Gurus Ocaml X-Mailer: Apple Mail (2.752.2) X-Miltered: at discorde with ID 46FA7FAA.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocamlfind:01 ocaml:01 statically:01 dynamically:01 caml-list:01 data:02 modules:02 btw:03 intrinsic:03 seems:03 seems:03 library:03 simplify:05 vincent:07 Ok, there is camlget, ok there is ocamlfind, ok there is godi. Maybe if there were some 'Inria'-made tool (seems camlget is starting point for that ?) that be settled in the standard ocaml distribution would help to make everyone agreed, don't you think ? This does not solve intrinsic problems such as "I prefer dynamically linked" vs "I prefer statically linked" but at least that would be a tool everyone could rely on. Then everyone is free to use it or not. It would even simplify the task for library-writers. BTW isn't it the same with ocamlbuild ? Before there were Omake and others. Now it seems to settle some kind of standard. My 2cents. Vincent