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 A1E807F2AA for ; Sat, 15 Dec 2012 17:02:38 +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.215; 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.215; 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@nm27-vm2.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.215; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm27-vm2.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmkBAOadzFBiilvXm2dsb2JhbAArDQ2rfpJVFg4BAQEBAQgJCwkUJ4IZFyAVAQIVIQEBFHoBDgEGGIgTAQECDwQILakOCYJyhEQBIwMBIwOJWAECBAoBAYxWhD4DiGCNMIVkLlCIFWuDcw X-IronPort-AV: E=Sophos;i="4.84,291,1355094000"; d="scan'208";a="186316403" Received: from nm27-vm2.bullet.mail.ne1.yahoo.com ([98.138.91.215]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Dec 2012 17:02:37 +0100 Received: from [98.138.90.52] by nm27.bullet.mail.ne1.yahoo.com with NNFMP; 15 Dec 2012 16:02:36 -0000 Received: from [98.138.89.199] by tm5.bullet.mail.ne1.yahoo.com with NNFMP; 15 Dec 2012 16:02:36 -0000 Received: from [127.0.0.1] by omp1057.mail.ne1.yahoo.com with NNFMP; 15 Dec 2012 16:02:36 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 105812.17664.bm@omp1057.mail.ne1.yahoo.com Received: (qmail 64263 invoked by uid 60001); 15 Dec 2012 16:02:36 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1355587356; bh=tbos+oYKQi1bUzrMNtI5vPT5GC5VyoBeMfjzZf01RwU=; 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=gDRWrlY/ARaIryKmeq8dMgIt6lq9FnBjcMQtcDoootKzWFcb+uxlWTNgs0ook/+60EN9fd2uBNS+BHTvhPpJQK/gj3AP9nJch0TfNExPM9LItD7AUt4JjNhiFnE0wLXwGwgsmaX75XXblRVAfl/H1b1qEmboJ3ezagOhxobV9oQ= 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=vJCOKxZvrAzl9GwaU66pv04xdeR4Nkb6GbEIW1grHgD42vex3UPfozhiiruQJt44BYKfLZYa7yNdUIUNYMW0r9A9zmYhWi38ZhosBEeqIhanUNMGROqcIc5oLr28ZXCvISuW1ECGJBtf96Pc0a71Yig6bmWGwBAbon+BmZgMgUI=; X-YMail-OSG: 3Klq.ZQVM1lQ6gVWHEShLqEiIOsMtQIZ6cUVqJh5LXDaxhl w_VoOjwRFDq9txS_XlTdUsLKzjS_hJUrLnsnetj4OhMAfR4NZOHgVy91SyrR jr04UkPwn0zgGJAYEa90EEEV.J.h.RGqYxCS8d67feCoks2jnAIKz.jJhVnm foSgnhbGY2jymdr3RfG3X7X_Xy2nfaT9ltHm9G75wCEpIbXaSWWxMBj4uTAp uoO4B1_.YPHed1VJXwqvQYja5KMwE_Mj1yf6TnoUuKrlki42yyv3Y8DW0kdV r8xB9uRFxHQ7nnkbyTwq2hHbstDvlywPuhVTVRZTbwuDKVPBY1vayaoy83wP LZl.Ju2Nf0lzhGkIC_BJNhl3KuWa52VOPocCMW8V7wz__zP4TwDiwS1h.KB_ kJkluDG_4hpHJHyMiz2BUjSgTQeR8C3ambsjBfuNViMIS4cLlzW6LNOf6GXu mMJ5rfHt7p2JsR0Kvz7ovziHhARZQnu2mvz6vo8C0qGpd2IokUIr267BDOr6 222b.5yYwwxX96ENlEfqYL1KlN4bhsT2ZtafcoyR3cCxkvvlEoN84Lxzf5bE TZPn_0rDIytseZ3XsASgK2okQLNAqUpmRbPLzltO6JL8PzRfiFmhNv55oGhX oyFkBBHhMWc3jMNkWmAaV1ilNxY28QJ0yGwPm93XdpcMmhQQx Received: from [195.23.39.151] by web120405.mail.ne1.yahoo.com via HTTP; Sat, 15 Dec 2012 08:02:35 PST X-Rocket-MIMEInfo: 001.001,SGksCgpJJ3ZlIGNvbWUgYWNyb3NzIGEgcGVycGxleGluZyBpc3N1ZSB3aXRoIE9BU0lTLsKgIEknbSBub3Qgc3VyZSBpZiB0aGlzIGlzCmp1c3QgYSBidWcgb3IgaWYgSSdtIHRyeWluZyB0byBwdXNoIHRoZSB0b29sIGJleW9uZCBpdHMgZGVzaWduIHBhcmFtZXRlcnMuCgpQRydPQ2FtbCBjYW4gYmUgY29tcGlsZWQgYWdhaW5zdCBlaXRoZXIgQmF0dGVyaWVzIG9yIEV4dExpYiAodGhlIGxhdHRlcgptb3N0bHkgZm9yIGxlZ2FjeSBjb21wYXRpYmlsaXR5KS4gVG8gYWxsb3cgdGhlIGhhcm1vbmlvdXMgY29leGkBMAEBAQE- X-Mailer: YahooMailWebService/0.8.128.478 Message-ID: <1355587355.56246.YahooMailNeo@web120405.mail.ne1.yahoo.com> Date: Sat, 15 Dec 2012 08:02:35 -0800 (PST) From: Dario Teixeira Reply-To: Dario Teixeira To: OCaml mailing-list Cc: Sylvain Le Gall MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] OASIS and conditional compilation Hi, I've come across a perplexing issue with OASIS.=A0 I'm not sure if this is just a bug or if I'm trying to push the tool beyond its design parameters. PG'OCaml can be compiled against either Batteries or ExtLib (the latter mostly for legacy compatibility). To allow the harmonious coexistence of the two options in the same system, the build system should allow for the compilation of one or the two versions of the library side by side. In OASIS-speak (I'm using version 0.3): =A0 Flag "batteries" =A0=A0=A0 Description: Link PG'OCaml against Batteries =A0=A0=A0 Default: true =A0 Flag "extlib" =A0=A0=A0 Description: Link PG'OCaml against ExtLib =A0=A0=A0 Default: true =A0 Library "pgocaml_batteries" =A0=A0=A0 Build$:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 flag(batteries) =A0=A0=A0 Install$:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 flag(batteries) =A0=A0=A0 Path:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 src =A0=A0=A0 Modules:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 PGOCaml, PGOCaml_= generic =A0=A0=A0 BuildDepends:=A0=A0=A0=A0=A0=A0=A0=A0 unix, calendar, csv, pcre, = batteries, camlp4.macro =A0=A0=A0 ByteOpt+:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 -ppopt -DUSE_BATTER= IES =A0=A0=A0 NativeOpt+:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 -ppopt -DUSE_BATTERIES =A0=A0=A0 FindlibContainers:=A0=A0=A0 pgocaml =A0=A0=A0 Findlibname:=A0=A0=A0=A0=A0=A0=A0=A0=A0 batteries =A0=A0=A0 XMETARequires:=A0=A0=A0=A0=A0=A0=A0 unix, calendar, csv, pcre, ba= tteries =A0 Library "pgocaml_extlib" =A0=A0=A0 Build$:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 flag(extlib) =A0=A0=A0 Install$:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 flag(extlib) =A0=A0=A0 Path:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 src =A0=A0=A0 Modules:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 PGOCaml, PGOCaml_= generic =A0=A0=A0 BuildDepends:=A0=A0=A0=A0=A0=A0=A0=A0 unix, calendar, csv, pcre, = extlib, camlp4.macro =A0=A0=A0 FindlibContainers:=A0=A0=A0 pgocaml =A0=A0=A0 Findlibname:=A0=A0=A0=A0=A0=A0=A0=A0=A0 extlib =A0=A0=A0 XMETARequires:=A0=A0=A0=A0=A0=A0=A0 unix, calendar, csv, pcre, ex= tlib Note that the major difference is that "-ppopt -DUSE_BATTERIES" must be passed to Camlp4 only when compiling the Batteries version.=A0 The problem is that it's *always* passed, even if the "batteries" flag is disabled by passing "--disable-batteries" to the configure script. Did I misinterpret something crucial about OASIS, or is this indeed a bug? Thanks in advance! Best regards, Dario Teixeira P.S. The full OASIS spec file can be viewed at this location: =A0=A0=A0=A0 https://forge.ocamlcore.org/scm/viewvc.php/branches/oasificati= on/_oasis?revision=3D157&root=3Dpgocaml