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 PAA14651; Fri, 28 Feb 2003 15:43:23 +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 PAA14628 for ; Fri, 28 Feb 2003 15:43:22 +0100 (MET) Received: from mel-rto3.wanadoo.fr (smtp-out-3.wanadoo.fr [193.252.19.233]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h1SEhLT28704 for ; Fri, 28 Feb 2003 15:43:21 +0100 (MET) Received: from mel-rta7.wanadoo.fr (193.252.19.61) by mel-rto3.wanadoo.fr (6.7.015) id 3E0C33B502855C14; Fri, 28 Feb 2003 15:43:12 +0100 Received: from iliana (81.51.50.38) by mel-rta7.wanadoo.fr (6.7.015) id 3E5335B10057A22E; Fri, 28 Feb 2003 15:43:12 +0100 Received: from luther by iliana with local (Exim 3.36 #1 (Debian)) id 18oljC-0001C4-00; Fri, 28 Feb 2003 15:43:10 +0100 Date: Fri, 28 Feb 2003 15:43:10 +0100 To: Jean-Christophe Filliatre Cc: Sven Luther , Jacques Garrigue , roberto@dicosmo.org, caml-list@inria.fr Subject: Re: [Caml-list] Alternative proposal: COAN Message-ID: <20030228144310.GA4555@iliana> 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> <20030228130807.GB16866@fichte.ai.univie.ac.at> <20030228132707.GA4132@iliana> <15967.27821.159928.265585@lri.lri.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <15967.27821.159928.265585@lri.lri.fr> User-Agent: Mutt/1.5.3i From: Sven Luther Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Feb 28, 2003 at 03:05:33PM +0100, Jean-Christophe Filliatre wrote: > > > I know i am repeating myself, but please consider adding the following > > points also : > > Sorry, I forgot to comment on these points : > > > o support the DESTDIR prefix to your install directory. distribution > > need to install into different directories than the ones the > > package will unpack into. > > A ./configure script accepts a --prefix option, or more precisely > --libdir, --bindir, etc, setting some variables at the beginning of > the generated Makefile. Additionally, it sets other variables such as > OCAMLLIB for the ocaml standard library place, etc. Overiding these > variables when compiling is possible (make OCAMLLIB=... LIBDIR=...), > and thus using DESTDIR does not need changing the Makefile at all. Well, sure, that is ok if you use autoconf, but ./configure can be any manner of selfmade shell script or whatever. Also many people prefere to have a configure target in the makefile, which is ok with me. And it is in these cases that DESTDIR need to be supported. Also the point of it is to have a DESTDIR which you can change in the make install, and which is different from the one you configure to. > > o support separate compilation for bytecode and nativecode. I build > > bytecode versions of my packages on my i386 box alongside the native > > versions. The bytecode package is arch: all, and will be > > installeable on every arch, including slower arches like m68k, where > > building huge ocaml bytecode executables is a waste of time if it > > can be done quicker on my box. > > The configure.in / Makefile.in I provide on my web page also tackle Will have a look. > this issue. The makefile actually contains two targets "byte" and > "opt" for bytecode and nativecode compilation. The "./configure" > script determines automatically if nativecode compilation is > supported, so that "make" is doing the best it can (always bytecode, > and nativecode when available). But "make byte" and "make opt" can be > invoked specifically, to do one particular compilation. Similarly, > "make install-byte" or "make install-opt" can be invoked specifically. BTW, does make install-byte and make-install-opt install to the same bynary name ? Friendly, Sven Luther ------------------- 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