Version française
Home     About     Download     Resources     Contact us    
Browse thread
autoconf input for ocaml applications
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject: autoconf input for ocaml applications

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