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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id DF6D5BC29 for ; Sun, 6 Aug 2006 11:22:15 +0200 (CEST) Received: from fiton.bononia.it (fiton.bononia.it [130.186.88.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k769MDtq008690 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Sun, 6 Aug 2006 11:22:15 +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 82FAD145F1; Sun, 6 Aug 2006 11:22:08 +0200 (CEST) Received: by muletto.takhisis.invalid (Postfix, from userid 1000) id 13F174406D; Sun, 6 Aug 2006 11:22:15 +0200 (CEST) Date: Sun, 6 Aug 2006 11:22:15 +0200 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr, Inria Ocaml Mailing List Subject: Re: [Caml-list] Re: ocaml support in autotools Message-ID: <20060806092215.GC7080@aquarium.takhisis.invalid> Mail-Followup-To: caml-list@yquem.inria.fr, Inria Ocaml Mailing List References: <44CE2C74.4070607@inria.fr> <44CE6483.9070205@tepkom.ru> <44D1F265.4040401@inria.fr> <20060804044055.79801082.bga@tepkom.ru> <1154669546.5926.34.camel@rosella.wigram> <20060804124813.GC7146@aquarium.takhisis.invalid> <1154738176.5926.89.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1154738176.5926.89.camel@rosella.wigram> User-Agent: Mutt/1.5.12-2006-07-14 X-Miltered: at concorde with ID 44D5B4C5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 ocaml:01 compilation:01 compiler:01 autoconf:01 autoconf:01 syntax:01 ocaml:01 foo:01 findlib:01 foo:01 cmi:01 cmi:01 mli: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 Sat, Aug 05, 2006 at 10:36:16AM +1000, skaller wrote: > Exactly how one would do this in a cross compilation environment > I don't know (Felix is a cross-cross compiler). An idea can be provide a couple of autoconf macros, something like (sorry, I'm not really fluent in autoconf, I may have got an unusal name, wrong syntax, ....): - AC_CHECK_OCAML_MD5(Foo, 13c5192c85629bcaad3e2d74c22f08d4) This will ensure that all ocaml libraries checked for later using other macros (e.g. one that look for a given findlib library) trust the Foo interface to have the given md5sum Implement what's needed, but it will be probably hard to maintain for developers - AC_CHECK_OCAML_CMI(foo.cmi) As above, but ensure that all libraries have the same md5sum for all the interfaces referenced by foo.cmi. You can easily extend this idea and provide an .mli which will be compiled and then used as a reference. Cheers. -- 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. -!-