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 OAA11247; Fri, 28 Feb 2003 14:08:46 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA10739 for ; Fri, 28 Feb 2003 14:08:45 +0100 (MET) Received: from fichte.ai.univie.ac.at (fichte.ai.univie.ac.at [131.130.174.156]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h1SD8hT16028 for ; Fri, 28 Feb 2003 14:08:43 +0100 (MET) Received: from fichte.ai.univie.ac.at (markus@localhost [127.0.0.1]) by fichte.ai.univie.ac.at (8.12.3/8.12.3/Debian -4) with ESMTP id h1SD88Fx018540; Fri, 28 Feb 2003 14:08:08 +0100 Received: (from markus@localhost) by fichte.ai.univie.ac.at (8.12.3/8.12.3/Debian -4) id h1SD87j1018539; Fri, 28 Feb 2003 14:08:07 +0100 Date: Fri, 28 Feb 2003 14:08:07 +0100 From: Markus Mottl To: Jean-Christophe Filliatre Cc: Jacques Garrigue , roberto@dicosmo.org, caml-list@inria.fr Subject: Re: [Caml-list] Alternative proposal: COAN Message-ID: <20030228130807.GB16866@fichte.ai.univie.ac.at> Mail-Followup-To: Jean-Christophe Filliatre , Jacques Garrigue , roberto@dicosmo.org, caml-list@inria.fr References: <02103BF1-4835-11D7-B97A-000A95773ED2@rouaix.org> <15963.19322.759255.37091@gargle.gargle.HOWL> <20030228182016D.garrigue@kurims.kyoto-u.ac.jp> <15967.22026.112548.207645@lri.lri.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <15967.22026.112548.207645@lri.lri.fr> User-Agent: Mutt/1.4i Organization: Austrian Research Institute for Artificial Intelligence Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, 28 Feb 2003, Jean-Christophe Filliatre wrote: > 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.) This is definitely a reasonable way to do it: "./configure && make && make install" is more or less the standard way of configuring, building and installing software from source on Unix-systems, even if there are plenty of developers who don't adhere to this quasi-standard. > OcamlMakefile or findlib are surely great tools, but I can't see why > I should use them to contribute to a COAN. OCamlMakefile was never written with the intention to provide a standard way of configuring, building and installing software. It was designed to make things as easy as possible for OCaml-developers of medium-sized projects and not too difficult for users in case the developer wanted to ship OCamlMakefile for installation purposes. I'd also prefer seeing cleaner and more portable solutions to the problem of packaging OCaml-software. > 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. Jacques' idea also seems interesting to me. I brought up the topic of having a standard for packaging OCaml-software in the past, but unfortunately it obviously never made it on the agenda of the INRIA-team. With a fast-growing user base, we really very badly need a standard way of packaging, which should be "blessed" by INRIA. This would give a tremendous boost to collaborative efforts in the community! But, sigh, I understand that such a standard, possibly supported by tools, is not a very sexy research topic... Regards, Markus Mottl -- Markus Mottl markus@oefai.at Austrian Research Institute for Artificial Intelligence http://www.oefai.at/~markus ------------------- 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