From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA08470 for caml-red; Tue, 31 Oct 2000 17:56:42 +0100 (MET)
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 RAA05932 for <caml-list@pauillac.inria.fr>; Tue, 31 Oct 2000 17:15:13 +0100 (MET)
Received: from ext.lri.fr (ext.lri.fr [129.175.15.4])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id e9VGFD126041
	for <caml-list@inria.fr>; Tue, 31 Oct 2000 17:15:13 +0100 (MET)
Received: from pc803.lri.fr (IDENT:root@pc803 [129.175.8.114])
          by ext.lri.fr (8.9.3/jtpda-5.3.2) with ESMTP id RAA13174
          for <caml-list@inria.fr>; Tue, 31 Oct 2000 17:15:12 +0100 (MET)
Received: by pc803.lri.fr
	(8.9.3/feuille) id RAA08506
	; Tue, 31 Oct 2000 17:15:14 +0100
X-Authentication-Warning: localhost.localdomain: filliatr set sender to filliatr@pc803 using -f
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <14846.61458.287540.597548@pc803>
Date: Tue, 31 Oct 2000 17:15:14 +0100 (MET)
To: caml-list@inria.fr
Subject: autoconf input for ocaml applications
X-Mailer: VM 6.49 under Emacs 20.4.1
Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre)
Sender: weis@pauillac.inria.fr


Hello ocamlers,

I wrote an autoconf input  for ocaml applications that could be useful
for others. It is available here (together with a suggested Makefile):

    http://www.lri.fr/~filliatr/software.en.html

It checks for  ocaml compilers and tools and  determines the following
variables:

   OCAMLC        "ocamlc" if present in the path, or a failure;
                 or "ocamlc.opt" if present with same version number as ocamlc
   OCAMLOPT      "ocamlopt" (or "ocamlopt.opt" if present), or "no"
   OCAMLBEST     either "byte" if no native compiler was found, 
                 or "opt" otherwise
   OCAMLDEP      "ocamldep"
   OCAMLLEX      "ocamllex"
   OCAMLYACC     "ocamlyac"
   OCAMLLIB      the path to the ocaml standard library
   OCAMLVERSION  the ocaml version number

Then it  is easy  to write  a Makefile compiling  with the  best ocaml
compiler available without requiring the  user to specify which one it
is. (Similarly for installation issues.)

CREDITS: this  autoconf input was built  on one sent to  me by Georges
Mariano.

-- 
Jean-Christophe FILLIATRE
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr