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 3A1ACBC29 for ; Fri, 4 Aug 2006 14:26:54 +0200 (CEST) Received: from [128.93.8.195] (alceste.inria.fr [128.93.8.195]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k74CQqrs013959 for ; Fri, 4 Aug 2006 14:26:53 +0200 Message-ID: <44D33D0C.5020403@inria.fr> Date: Fri, 04 Aug 2006 14:26:52 +0200 From: Guillaume Rousse User-Agent: Thunderbird 1.5.0.5 (X11/20060803) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocaml support in autotools References: <44CE2C74.4070607@inria.fr> <44CE6483.9070205@tepkom.ru> <44D211FD.4050708@inria.fr> <20060804071225.0e1e278b.mle+ocaml@mega-nerd.com> In-Reply-To: <20060804071225.0e1e278b.mle+ocaml@mega-nerd.com> X-Enigmail-Version: 0.94.0.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 44D33D0C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; guillaume:01 guillaume:01 ocaml:01 lib:01 flags:01 lib:01 ocamlfind:01 flags:01 computed:01 model:01 compilation:01 voluceau:01 rocquencourt:01 wrote:01 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 Erik de Castro Lopo wrote: > Guillaume Rousse wrote: > >> This is not really similar to default AC_CHECK_LIB macro, which just >> determine if using all currently available flags, searched library is >> available or not. > > AC_CHECK_LIB is rather primitive. > >> Nor to PKG_CHECK_MODULE (closest ocamlfind equivalent >> in C world) that just returns flags computed by pkg-config. > > PKG_CHECK_MODULE would be a better model. But it does only retrieve information, it does no actual testing. My point is separating issues (retrieving information and testing compilation) allow more versatility for the programmer. -- Guillaume Rousse Projet Estime, INRIA Domaine de Voluceau Rocquencourt - B.P. 105 78153 Le Chesnay Cedex - France