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 MAA01292; Fri, 6 Sep 2002 12:57:02 +0200 (MET DST) 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 MAA00463 for ; Fri, 6 Sep 2002 12:57:01 +0200 (MET DST) Received: from avocet.mail.pas.earthlink.net (avocet.mail.pas.earthlink.net [207.217.120.50]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g86Av0116950 for ; Fri, 6 Sep 2002 12:57:00 +0200 (MET DST) Received: from user-0ccegbj.cable.mindspring.com ([24.199.65.115] helo=cs.cornell.edu) by avocet.mail.pas.earthlink.net with esmtp (Exim 3.33 #1) id 17nGn5-0000Rf-00; Fri, 06 Sep 2002 03:56:43 -0700 Message-ID: <3D7889EA.8060406@cs.cornell.edu> Date: Fri, 06 Sep 2002 06:56:42 -0400 From: "Yaron M. Minsky" User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1) Gecko/20020826 X-Accept-Language: en-us, en MIME-Version: 1.0 To: yann@lrde.epita.fr CC: Kenneth Oksanen , caml-list@inria.fr Subject: Re: [Caml-list] autoconf and caml References: <20020905135720.D5343@pauillac.inria.fr> <20020905161617.A29272@kruuna.Helsinki.FI> <20020906104614.GE607@barcelona.lrde.epita.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Yann Régis-Gianas wrote: > On Fri, Sep 06, 2002 at 01:12:31PM +0300, Kenneth Oksanen wrote: > > What about using camlp4 to transform config.h file into a > valid Objective Caml module ? I'm using the autotools as a simple user > but config.h is a sequence of #define, is'nt it ? So, we can transform these macros into values declaration. For example: > Yes, but you actually don't really want simple values here, because sometimes you want to use those values to do conditional compilation, and ocaml values won't help you with that. y > > config.hh > --- > > /* The ocaml compiler */ > #define OCAMLC "ocamlc" > > /* The ocaml includes path */ > #define OCAMLINCPATH "/usr/lib/ocaml/" > > > Becomes: > > config.ml > --- > > (* The ocaml compiler *) > let ocamlc = "ocamlc" > > (* The ocaml includes path *) > let ocamlincpath = "/usr/lib/ocaml" > > > Perhaps, I did not understand your problem but I think that > autoconf is not the hardest autotool to bind to ocaml. For my part, I > am currently studying the integration of ocaml in Automake. It is a > real problem because of a lot of exotic features of ocaml development > system like extensions, byte/native code mode, camlp4 ... > > ------------------- 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