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 7755EBC28 for ; Tue, 1 Aug 2006 10:04:02 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k71842ih025999 for ; Tue, 1 Aug 2006 10:04:02 +0200 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 KAA23042 for ; Tue, 1 Aug 2006 10:04:01 +0200 (MET DST) Received: from fiton.bononia.it (fiton.bononia.it [130.186.88.105]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k7183wti025987 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Tue, 1 Aug 2006 10:04:01 +0200 Received: from muletto.takhisis.invalid (fiton.bononia.it [130.186.88.105]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "Stefano Zacchiroli", Issuer "sockmel.bononia.it" (not verified)) by fiton.bononia.it (Postfix) with ESMTP id 4EC12145CC for ; Tue, 1 Aug 2006 10:03:54 +0200 (CEST) Received: by muletto.takhisis.invalid (Postfix, from userid 1000) id A7EDA440F4; Tue, 1 Aug 2006 10:03:54 +0200 (CEST) Date: Tue, 1 Aug 2006 10:03:54 +0200 From: Stefano Zacchiroli To: Inria Ocaml Mailing List Subject: Re: [Caml-list] ocaml support in autotools Message-ID: <20060801080354.GB7210@aquarium.takhisis.invalid> Mail-Followup-To: Inria Ocaml Mailing List 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 44CF0AF2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44CF0AEE.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 ocaml:01 guillaume:01 ocaml:01 autoconf:01 activedvi:01 autoconf:01 lri:01 filliatr:01 findlib:01 findlib:01 ocamlfind:01 reuse:01 cheers: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.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 On Mon, Jul 31, 2006 at 06:14:44PM +0200, Guillaume Rousse wrote: > I'd like to have ocaml support in autotools (autoconf + automake), to > avoid heavy code duplication between several projects (at least > ocmalimages and activedvi). I would totally welcome such support, but I never followed the path of looking for the documentation on how to integrate official support in autotools. If you are willing to it would be great! > 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 After a quick look at it, I found disappointing there is no support at all for findlib. I definitely want to be able to: 1) test whether or not findlib is available 2) test whether or not a given findlib-compatible library is available or not (assuming findlib is available of course) I have some autoconf code that already do that, it is available at [1] (look for "$OCAMLFIND query"). Feel free to reuse it. Cheers. [1] http://helm.cs.unibo.it/websvn/filedetails.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fconfigure.ac&rev=0&sc=0 -- Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. -!-