From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id A2C2A7F2AA for ; Sat, 15 Dec 2012 19:25:44 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.75; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.91.75; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm10-vm1.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.75; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm10-vm1.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYCAH2/zFBiiltLaGdsb2JhbAArDQ2rfpJVFg4NCgoHFgMkghkGAQULIBUBAhUhAQEOBgVGLwEOAQYSBgGIEgEBAg8ECC2pEAmCcoQ7ASMDASMDiVgBAgQKAQGRFAOIYY0whWQuUIgVa4Nz X-IronPort-AV: E=Sophos;i="4.84,291,1355094000"; d="scan'208";a="186323894" Received: from nm10-vm1.bullet.mail.ne1.yahoo.com ([98.138.91.75]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Dec 2012 19:25:43 +0100 Received: from [98.138.226.180] by nm10.bullet.mail.ne1.yahoo.com with NNFMP; 15 Dec 2012 18:25:41 -0000 Received: from [98.138.89.163] by tm15.bullet.mail.ne1.yahoo.com with NNFMP; 15 Dec 2012 18:25:41 -0000 Received: from [127.0.0.1] by omp1019.mail.ne1.yahoo.com with NNFMP; 15 Dec 2012 18:25:41 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 690636.9444.bm@omp1019.mail.ne1.yahoo.com Received: (qmail 13076 invoked by uid 60001); 15 Dec 2012 18:25:41 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1355595941; bh=jYukzYEvPWR/QKE/7G9XPAJjKGccn9E67pfX7NBfR6Y=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=av4ziAoimRPWq4Zv3tnf0S/BwKUInZrZVVmgk+pubUv2zj8+tZQ9a8NCF61hqJ3jHI2E8nLpA2WMWOxSOYwo7Ni/1CZtyQzum2gCJFMYZstndAl1EduHNz+HjKwQWp+il7J+nd8M7CBFTUHnwTxAc6Zk6H8ON4XICDh7PcQJyE4= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=PTbT1THgMypDXBZTs33J/OLMBK1oXlG7fDxFTEGWoWG4PQ7XiLkrcqQRSM5I3GbLCD5Cocgh1hCRETJHrn1ik/mYdBSeBzV1e/Ux/W5nJ4OHGxIq9uiIx398HCTwcEtJTDUlU+ksSx5W0p6mX30Xy2plTSAwIvimJ+WZgGKsPn8=; X-YMail-OSG: z1Qyqg0VM1mmO5ex_EpRBYbMbSqIdVck87T984VzmM0rki5 0YTNY5BZ0xkaSZ4RH95wCAqSAEesgH1RrBUYAnGYc6XJWmxTs3UPGZw_CBtC YGc5GPTBbPD6Nh7JDoJoC3Bkw3vg5dZfC0zHfvCZgefRqy_KKTom2ETcGVTd 5huC9BJ8RsPm9kff_k8oLzB.vPC_HC8ZY22VOqnIK4NDtUYpPO0.ByUkOavr rHDf8PIe1Rn9zkr.woJYopbRiq81Bb95DUrNx9CO1x1mZmLDin1nbfZFe2CA MrjmnD_us.KtLUq4kCq3aAMDfrR2M1viPaoag_XHq8j6I5pdEySZCGVuTshA EsaLg9dAK80O55.63XJRwuS2FaJnotbr6j_0_xBKjBk8E7xnN2wZnjLWlcqL yZZHf2UoY0ovd0hX9Y0TmFPMZT9HTQDBztI4pZGYbskor2NH9y8hii1Mo2Bo f4Q4AcEyCURRJdH90qXWwyVxihqcPSMKymYIPXvkSej1U4vX3fdbwb6bNwgz 6h.0tCVD_aSOiTNRUzla7CrazCqZKJAsg4vGxexMoA1YvuaFSPgvWrp1VJaI w93g2TpLaMxR58jw8e2UF66abUkr6w6K0zPuybFDdVWWMGc.YPic_z2bz.EE _wWdAoDAs1fd_h_niC4gXD0BJJMQoPaILX5uELzi28mcPOdsBdzR7YH6X3f6 XQ3Mkd_XXPQ-- Received: from [195.23.39.151] by web120403.mail.ne1.yahoo.com via HTTP; Sat, 15 Dec 2012 10:25:41 PST X-Rocket-MIMEInfo: 001.001,SGksCgo.Q2FuIHlvdSBzZW5kIG1lwqAgdGhlIGdlbmVyYXRlZCBfdGFncy4KCj5UaGUgcHJvYmxlbSBpcyBwcm9iYWJseSBpbiB0aGUgZmFjdCB0aGF0IHRoZSBzYW1lIGZpbGUgYXJlIGNvbXBpbGVkIHR3aWNlIGFuZCBhcmUgYXBwbGllZCBleGFjdGx5IHRoZSBzYW1lIHNldCBvZiBvcHRpb25zIGluIG9jYW1sYnVpbGQuCj5Ob3RlIHRoYXQgaW4gZ2VuZXJhbCBvY2FtbCBkb2Vzbid0IHN1cHBvcnQgd2VsbCBjb25kaXRpb25hbCBjb21waWxhdGlvbi4uLi4KPlJlZ2FyZHMKPlN5bHZhaW4KCgpUaGFua3MgZm8BMAEBAQE- X-Mailer: YahooMailWebService/0.8.128.478 References: <1355587355.56246.YahooMailNeo@web120405.mail.ne1.yahoo.com> Message-ID: <1355595941.7283.YahooMailNeo@web120403.mail.ne1.yahoo.com> Date: Sat, 15 Dec 2012 10:25:41 -0800 (PST) From: Dario Teixeira Reply-To: Dario Teixeira To: Sylvain Le Gall , Wojciech Meyer Cc: caml-list In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] OASIS and conditional compilation Hi, >Can you send me=A0 the generated _tags. >The problem is probably in the fact that the same file are compiled twice = and are applied exactly the same set of options in ocamlbuild. >Note that in general ocaml doesn't support well conditional compilation.... >Regards >Sylvain Thanks for the reply. The _tags file is here: https://forge.ocamlcore.org/scm/viewvc.php/branches/oasification/_tags?revi= sion=3D155&root=3Dpgocaml But anyway, it seems my original intention may not be feasible. Consequently, I'm tempted to simply drop the support for ExtLib in newer releases of PG'OCaml.=A0 This will simplify the build system tremendously.=A0 Moreover, since modern packaging tools like OPAM allow pinning a package to an older version, legacy users won't be forced to upgrade. Best regards, Dario Teixeira