From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 5175ABC29 for ; Fri, 4 Aug 2006 16:26:57 +0200 (CEST) Received: from smtp-msa-out05.orange.fr (smtp5.orange.fr [193.252.22.26]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k74EQusP031070 for ; Fri, 4 Aug 2006 16:26:57 +0200 Received: from micro (AVelizy-155-1-23-205.w81-249.abo.wanadoo.fr [81.249.22.205]) by mwinf0512.orange.fr (SMTP Server) with ESMTP id 9859D1C00222 for ; Fri, 4 Aug 2006 16:26:56 +0200 (CEST) X-ME-UUID: 20060804142656624.9859D1C00222@mwinf0512.orange.fr Received: from nano-wifi.gallu.homelinux.org ([192.168.1.3] helo=nano.gallu.homelinux.org ident=gildor) by micro with smtp (Exim 4.50) id 1G8ltf-0005LD-JY for caml-list@yquem.inria.fr; Fri, 04 Aug 2006 00:42:32 +0200 Received: by nano.gallu.homelinux.org (sSMTP sendmail emulation); Fri, 4 Aug 2006 00:42:13 +0200 From: "Sylvain Le Gall" Date: Fri, 4 Aug 2006 00:42:13 +0200 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocaml support in autotools Message-ID: <20060803224213.GA17236@localhost.localdomain> References: <44CE2C74.4070607@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <44CE2C74.4070607@inria.fr> User-Agent: Mutt/1.5.12-2006-07-14 X-Miltered: at nez-perce with ID 44D35930.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; le-gall:01 ocaml:01 guillaume:01 ocaml:01 autoconf:01 activedvi:01 autoconf:01 lri:01 filliatr:01 author's:01 compilation:01 2006:98 ccc:98 carbon:98 wrote:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Hello, On Mon, Jul 31, 2006 at 06:14:44PM +0200, Guillaume Rousse wrote: > Hello. > > I'd like to have ocaml support in autotools (autoconf + automake), to > avoid heavy code duplication between several projects (at least > ocmalimages and activedvi). > > Autoconf support is quite simple to do, and even already done (I easily > found reference to > http://www.lri.fr/~filliatr/ftp/ocaml/misc/configure.in. But instead of > loosely distributing those macros in a custom package, as currently done > in Debian, I'd like to submit them directly to autoconf maintainers > (with some modification, and with author's agreement of course). They > are OK for this, provided there is some prior consensus in ocaml > community first, to avoid continual macro change request of course. > > Automake support is more complex, but apparently someone already tried > it, as discussed at > http://caml.inria.fr/pub/ml-archives/caml-list/2003/12/c9bf9f5d4423a9259f12ccc805fe4c1 > d.fr.html > http://sourceware.org/ml/automake/2003-12/msg00153.html > I'd be interested in current status of this effort before further > investigation. > > Comments ? I spend several hours (in fact weeks), trying to hack automake to make it work with OCaml target... I don't think it could work. As said in this thread, automake is mainly made for C/C++ like langages... In particular if you want to compile something, you need to have a ".o" somewhere in your compilation path (don't ask me why, that's thing i have discovered trying to do this). Automake is actually a good tool for doing what it is made for : provide portable build system to C/C++ project. I don't think it is a general purpose build system. But anyway, if you think you could perform to make automake works for ocaml, let me know ! Maybe you can have a look at the "carbon ml"/"mlmm" which is an ocaml project and use automake. Concerning autoconf, it is a great tool, the configure.in you have already discovered is the best available source for doing ocaml stuff with autoconf... Kind regard Sylvain Le Gall