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 A3C327EC41 for ; Thu, 25 Oct 2012 15:57:11 +0200 (CEST) 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.139.91.83; 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.139.91.83; 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@nm13.bullet.mail.sp2.yahoo.com) identity=helo; client-ip=98.139.91.83; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm13.bullet.mail.sp2.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhcDAG9EiVBii1tTYmdsb2JhbAA3DbAUkgoYGAoKCREGJIIZFyAVAQIVIQEBFHoBDgEGGIgEAQECDwSjOIhDCYJthHkBIwMBIwOJVwEGCgEBi1qGaAOIXI0fhV8tUIgPbINu X-IronPort-AV: E=Sophos;i="4.80,646,1344204000"; d="scan'208";a="178919494" Received: from nm13.bullet.mail.sp2.yahoo.com ([98.139.91.83]) by mail1-smtp-roc.national.inria.fr with ESMTP; 25 Oct 2012 15:57:10 +0200 Received: from [98.139.91.64] by nm13.bullet.mail.sp2.yahoo.com with NNFMP; 25 Oct 2012 13:57:09 -0000 Received: from [98.139.91.50] by tm4.bullet.mail.sp2.yahoo.com with NNFMP; 25 Oct 2012 13:57:09 -0000 Received: from [127.0.0.1] by omp1050.mail.sp2.yahoo.com with NNFMP; 25 Oct 2012 13:57:09 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 806109.72153.bm@omp1050.mail.sp2.yahoo.com Received: (qmail 15990 invoked by uid 60001); 25 Oct 2012 13:57:09 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1351173429; bh=2V1ZGNuZUmayjUS0hfvVofvCiq13F3114q2EbaJjBwM=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:Cc:MIME-Version:Content-Type:Content-Transfer-Encoding; b=mVHVV+QBFpVtLOsNvEKU0c74QOyCdQbepmUpuifvUNo/jbQJ4GH7ItEwEgUu3IgpHieUyMYK/E+xJpU8JG4+Al4zFP+EawrteskrUHF2c3uzp4gbXVIi6tmLk7Zmp8YnCfT/4tAr+An1WU6W7iJnVU+0fr+wU7d+X6LRYk4vOP8= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:Cc:MIME-Version:Content-Type:Content-Transfer-Encoding; b=VEkrnguhGA/j3GsMG32N1k0Oha66SM+3rMg043Zjt3Jru8IgQsUKkNm+7PoOb+Tz7x/fHjhlP7elzh2ocKCWKsJ/cLGpI5f0pkYhI5gifKeS7RLurAytGroAs+27bXP6efUtP+R305YqCO0jGi+ttsKsNazARHQwO5K9mxQkmmk=; X-YMail-OSG: ZpohPpgVM1nj9H0aHHEN.qOg9yNF9SHvl9gGGpSBzhLt8Kt B_cWFyqu1cvGshQYpLWP2W8ajIv.Y3108agjQMUcqshAEFhgKlt35sm6iEk0 guQ3l0fn3wl71tDKwBetoo_v_G3_KCJpLxAU5LuFJ9BxGrMEvYWe5FSVbO5J L6f5evHhKB11SAxjJPWqEC3Is4mEIcT46mLTMf9a3BnOM4lU1oEoVtIS6Xfc fjvEh6oNPRtpSstPHUxTqPYpCf465Dfg8GOwVdxd7z056M7JoVQXEf4jd_aC zNz0tM7PxaoF_kn1e1kp8WeOGaeUdbKWKd7FKoNiqHqsj8PCIPGvIOY2zjIS YLjzobzoJYQ1biahBTBB0cxXwp9qRHKk5tLqy.6CJy5RGT0OvJuAcBPw5PSy KygNxKMhUxPwM7Y7Gy_Urh7XEWd4ojP41uwc4T_xh3SNdw_S4G6Q736SLMLo 5Ye1ol.bA8zu_vxD3Tvd4uzyS_GAGTElUZZpeVt9qi37IvIWsc3ugxQ-- Received: from [195.23.39.218] by web111503.mail.gq1.yahoo.com via HTTP; Thu, 25 Oct 2012 06:57:09 PDT X-Rocket-MIMEInfo: 001.001,SGksCgpJJ20gaW4gdGhlIHByb2Nlc3Mgb2Ygb2FzaWZ5aW5nIFBHJ09DYW1sLCBhbmQgSSd2ZSBoaXQgYSBzbmFnLgpCeSBkZWZhdWx0IFBHJ09DYW1sIGRlcGVuZHMgb24gRXh0TGliLCBidXQgaXQncyBwb3NzaWJsZSB0bwp1c2UgQmF0dGVyaWVzIGluc3RlYWQuwqAgQmVsb3cgaXMgYSBmcmFnbWVudCBvZiBteSAobmHDr3ZlKSBmaXJzdAphdHRlbXB0IGF0IHRlbGxpbmcgT0FTSVMgYWJvdXQgdGhpcyBjb25maWd1cmF0aW9uIG9wdGlvbjoKCgpGbGFnICJ1c2VfYmF0dGVyaWVzIgrCoCBEZXNjcmlwdGlvbjoBMAEBAQE- X-Mailer: YahooMailWebService/0.8.123.450 Message-ID: <1351173429.15638.YahooMailNeo@web111503.mail.gq1.yahoo.com> Date: Thu, 25 Oct 2012 06:57:09 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: OCaml Mailing List Cc: pgocaml-general MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Conditional BuildDepends in OASIS Hi, I'm in the process of oasifying PG'OCaml, and I've hit a snag. By default PG'OCaml depends on ExtLib, but it's possible to use Batteries instead.=A0 Below is a fragment of my (na=EFve) first attempt at telling OASIS about this configuration option: Flag "use_batteries" =A0 Description: Use Batteries instead of ExtLib =A0 Default: false Library "pgocaml" =A0 Path:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 src =A0 Modules:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 PGOCaml =A0 BuildTools:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 ocamlbuild, camlp4 =A0 BuildDepends:=A0=A0=A0=A0=A0=A0=A0=A0 calendar =A0 if flag(use_batteries) =A0=A0=A0 BuildDepends+:=A0=A0=A0=A0=A0 batteries =A0=A0=A0 ByteOpt+:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 -ppopt -DUSE_BATTERIES =A0=A0=A0 NativeOpt+:=A0=A0=A0=A0=A0=A0=A0=A0 -ppopt -DUSE_BATTERIES =A0 else =A0=A0=A0 BuildDepends+:=A0=A0=A0=A0=A0 extlib The problem is that OASIS complains about BuildDepends being placed inside a conditional.=A0 Is this an oversight, or are there good reasons (and hopefully a standard workaround) for this limitation? Thanks in advance! Cheers, Dario Teixeira