From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 82027BBAF for ; Tue, 14 Oct 2008 15:01:11 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsYDAHc19EjAXQIniGdsb2JhbACTYAEBARUiql+BbA X-IronPort-AV: E=Sophos;i="4.33,409,1220220000"; d="scan'208";a="16069659" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Oct 2008 15:01:01 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9ED0tuS022033 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 14 Oct 2008 15:01:01 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnwBACc19EiGnQCBomdsb2JhbACTYAEBAQEBCAsICRGqXIFs X-IronPort-AV: E=Sophos;i="4.33,409,1220220000"; d="scan'208";a="30325893" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Oct 2008 15:01:01 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.3/jtpda-5.4) with ESMTP id m9ED0xv2033730 ; Tue, 14 Oct 2008 15:00:59 +0200 (CEST) X-Ids: 164 Received: from [134.157.168.28] (glondu@nickel.pps.jussieu.fr [134.157.168.28]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id m9ED0wgJ028418 ; Tue, 14 Oct 2008 15:00:58 +0200 Message-ID: <48F49809.2090803@glondu.net> Date: Tue, 14 Oct 2008 15:00:57 +0200 From: =?ISO-8859-1?Q?St=E9phane_Glondu?= User-Agent: Mozilla-Thunderbird 2.0.0.16 (X11/20080724) MIME-Version: 1.0 To: Romain Bardou Cc: caml-list Subject: Re: [Caml-list] Ocamlfind and -a-format References: <48F49416.4070504@lri.fr> In-Reply-To: <48F49416.4070504@lri.fr> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0 (shiva.jussieu.fr [134.157.0.164]); Tue, 14 Oct 2008 15:00:59 +0200 (CEST) X-Virus-Scanned: ClamAV 0.93.3/8422/Tue Oct 14 10:34:30 2008 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at concorde with ID 48F49807.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at jchkmail2.jussieu.fr with ID 48F47C0E.005 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 48F47C0E.005/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-j-chkmail-Score: MSGID : 48F47C0E.005 on jchkmail2.jussieu.fr : j-chkmail score : X : R=. U=. O=. B=0.147 -> S=0.147 X-j-chkmail-Status: Ham X-Spam: no; 0.00; ocamlfind:01 ocamlfind:01 cmxa:01 -predicates:01 cheers:01 steph:98 caml-list:01 cma:01 native:03 ecrit:06 stephane:07 stephane:07 example:10 package:14 using:15 Romain Bardou a écrit : > Is there a way to use ocamlfind to ask for the name of the cma / cmxa to > use when using a given package ? For example: ocamlfind query -predicates native -a-format extlib Cheers, -- Stéphane Glondu