From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA10180; Fri, 28 Feb 2003 13:44:50 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA10600 for ; Fri, 28 Feb 2003 13:44:49 +0100 (MET) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h1SCimH09261 for ; Fri, 28 Feb 2003 13:44:49 +0100 (MET) Received: from pc8-123 (mail@pc8-123 [129.175.8.123]) by lri.lri.fr (8.11.6/jtpda-5.3.2) with ESMTP id h1SCSwP28259 ; Fri, 28 Feb 2003 13:28:58 +0100 (MET) Received: from filliatr by pc8-123 with local (Exim 3.35 #1 (Debian)) id 18ojdK-0001tW-00; Fri, 28 Feb 2003 13:28:58 +0100 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15967.22026.112548.207645@lri.lri.fr> Date: Fri, 28 Feb 2003 13:28:58 +0100 To: Jacques Garrigue Cc: roberto@dicosmo.org, caml-list@inria.fr Subject: Re: [Caml-list] Alternative proposal: COAN In-Reply-To: <20030228182016D.garrigue@kurims.kyoto-u.ac.jp> References: <02103BF1-4835-11D7-B97A-000A95773ED2@rouaix.org> <15963.19322.759255.37091@gargle.gargle.HOWL> <20030228182016D.garrigue@kurims.kyoto-u.ac.jp> X-Mailer: VM 7.03 under Emacs 20.7.2 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) X-MailScanner: Found to be clean Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I personally don't think that standardizing the tools to produce > individual package is a useful move. Providing good tools to ease > package construction matters, but enforcing them on developpers is > counter-productive. I strongly agree on this point too. As far as I'm concerned, I (try to) carefully package my libraries and applications so that they compile with "./configure && make" and install with "make install". (Libraries are installed in ocaml standard library place, which is determined automatically by the configure script; presence of a native code compiler is also detected automatically; etc.) OcamlMakefile or findlib are surely great tools, but I can't see why I should use them to contribute to a COAN. I find the concept of a COAN really nice, by the way; I think Jacques' idea of a central repository with meta informations is the right compromise between the current situation (humps) and the heavy solution of a centralized sources repository. -- Jean-Christophe Filliātre (http://www.lri.fr/~filliatr) ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners