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.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 0AF98BBAF for ; Mon, 23 Jun 2008 12:56:02 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhcCACAeX0jAXQImiGdsb2JhbACSKEMBAQEPIJkzg3U X-IronPort-AV: E=Sophos;i="4.27,689,1204498800"; d="scan'208";a="14279144" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Jun 2008 12:56:01 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m5NAu1OC028378 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 23 Jun 2008 12:56:01 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsYBAG0eX0jRVYT3dGdsb2JhbACSKEMBDAMEBgcPBZkvg3Y X-IronPort-AV: E=Sophos;i="4.27,689,1204498800"; d="scan'208";a="14396953" Received: from an-out-0708.google.com ([209.85.132.247]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Jun 2008 12:56:00 +0200 Received: by an-out-0708.google.com with SMTP id d33so556185and.97 for ; Mon, 23 Jun 2008 03:56:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :user-agent:mime-version:to:subject:x-enigmail-version:openpgp :content-type:content-transfer-encoding; bh=suoBIjQFS6xww0vPQTa9eN1qQkcNXdqeKFw0Ut4utmQ=; b=gX8F5AAB6dhm7emXU/+V+SiRE/OvA4DbkURauG8bfxY+PH9pel2I2GeyqdTJ4qg84F QzPjr7Dp0PUei1H/5dTe64dwihVt6n/OdXTSN1IlZa7+OR8Srp2AfRA/ejAOR0SeJaDC VQclBIbbCHfR9oTlNYCiddKFWnezZRkwB5XX0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:user-agent:mime-version:to:subject :x-enigmail-version:openpgp:content-type:content-transfer-encoding; b=RFJHunI3ZphZ+bkKQANwKudCy3o2v6JN9nz0IE1B0iL0ekhgmD58Dfbf2/kVEjA2e+ F823EIf1OjsyhKOX/+rMEoT8T/vxJkFALPVPH/jkJ12crxA1ORI067bbbi+0hZIoF7po Jg/oZ1ubF7VDUSWNNUio3UXGMfGYs46mNqppQ= Received: by 10.100.10.11 with SMTP id 11mr12986367anj.94.1214218559769; Mon, 23 Jun 2008 03:55:59 -0700 (PDT) Received: from ?192.168.1.10? ( [77.196.255.84]) by mx.google.com with ESMTPS id c38sm12028546anc.25.2008.06.23.03.55.58 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 23 Jun 2008 03:55:59 -0700 (PDT) Message-ID: <485F813C.6010307@gmail.com> Date: Mon, 23 Jun 2008 12:55:56 +0200 From: Matthieu Dubuget Reply-To: matthieu.dubuget@gmail.com User-Agent: Thunderbird 2.0.0.14 (X11/20080505) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Ocamlbuild_config X-Enigmail-Version: 0.95.0 OpenPGP: id=F60AB8F5 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 485F8141.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; matthieu:01 dubuget:01 matthieu:01 dubuget:01 ocamlc:01 ocamlopt:01 config:01 config:01 caml:02 parse:02 module:03 module:03 installed:05 ciao:11 used:16 Hello, during installation, one Caml module named Ocamlbuild_config is created (at least when the ocamlbuild method is used). Is this module installed anywhere, and are the values listed in it accessible from an ocamlbuild plugin? That would avoid to call ocamlc or ocamlopt and parse results. Thanks Ciao Matt