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 PAA13898; Fri, 28 Feb 2003 15:22:03 +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 PAA13532 for ; Fri, 28 Feb 2003 15:22:02 +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 h1SEM1H12617 for ; Fri, 28 Feb 2003 15:22:01 +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 h1SE5XP08230 ; Fri, 28 Feb 2003 15:05:33 +0100 (MET) Received: from filliatr by pc8-123 with local (Exim 3.35 #1 (Debian)) id 18ol8n-0002Jf-00; Fri, 28 Feb 2003 15:05:33 +0100 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15967.27821.159928.265585@lri.lri.fr> Date: Fri, 28 Feb 2003 15:05:33 +0100 To: Sven Luther Cc: Jacques Garrigue , roberto@dicosmo.org, caml-list@inria.fr Subject: Re: [Caml-list] Alternative proposal: COAN In-Reply-To: <20030228132707.GA4132@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> 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 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. > 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 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. -- 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