From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 30B3B7F2AA for ; Sat, 15 Dec 2012 18:23:50 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gildor478@gmail.com) identity=pra; client-ip=209.85.223.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of gildor478@gmail.com designates 209.85.223.182 as permitted sender) identity=mailfrom; client-ip=209.85.223.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f182.google.com) identity=helo; client-ip=209.85.223.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="postmaster@mail-ie0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwBACWxzFDRVd+2m2dsb2JhbABFq36STQgWDgEBAQEBCAkLCRQngh4BAQQBQAE4AQMBCwEFBQQBBjshARIBBQEKEgYTiAEDCQadCo8uhGQnDYlPAQUMi2hpBYQ+A5Q0BIFSgRyKG4MxFimBV4I+ X-IronPort-AV: E=Sophos;i="4.84,291,1355094000"; d="scan'208";a="186321030" Received: from mail-ie0-f182.google.com ([209.85.223.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Dec 2012 18:23:49 +0100 Received: by mail-ie0-f182.google.com with SMTP id s9so7792763iec.27 for ; Sat, 15 Dec 2012 09:23:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=lIZPMl/4AExIRjVv0WEYyLFpQ4L88GHVCEmZ4qkVXgo=; b=zLSOTQr5e/ccCJFjUnpz3e5ErdVjQcfak8rSfEvyEbzr0V7Bgoz75khRbgibF+L20b hs67PAaC59TaSp/XeqVakH3tHz15C2ZHZxdi0L9dH1cHHW50oi4FKvkpgqjAqVNYLZDe itaqMRwlbZuJslwysmO/vOMUpMV65ecgWLEiyU8EgO0wTMBnUCBj6RMvCnft72DodXN7 Y+XeYURP3FWNeai7pSN79niJ6Psbhd5ak+mq4eiGpeYZUS7dHgZQIKzEUFYOk2gQZpUF P4wYir44SIWiDI6Kv1liLhHdCokso+3lUGp5p5QC8UK2Iao2xD+cp6UJi545B2X6whFo V8cA== MIME-Version: 1.0 Received: by 10.50.40.137 with SMTP id x9mr5482330igk.1.1355592228512; Sat, 15 Dec 2012 09:23:48 -0800 (PST) Sender: gildor478@gmail.com Received: by 10.64.52.105 with HTTP; Sat, 15 Dec 2012 09:23:48 -0800 (PST) Received: by 10.64.52.105 with HTTP; Sat, 15 Dec 2012 09:23:48 -0800 (PST) In-Reply-To: References: <1355587355.56246.YahooMailNeo@web120405.mail.ne1.yahoo.com> Date: Sat, 15 Dec 2012 18:23:48 +0100 X-Google-Sender-Auth: jlTWa0CIFI-J0l4SxRinmk840qc Message-ID: From: Sylvain Le Gall To: Wojciech Meyer Cc: Dario Teixeira , caml-list Content-Type: multipart/alternative; boundary=14dae93404b93da54604d0e769aa Subject: Re: [Caml-list] OASIS and conditional compilation --14dae93404b93da54604d0e769aa Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi, Can you send me 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 Le 15 d=E9c. 2012 17:17, "Wojciech Meyer" a =E9c= rit : > Hi, > > Dario Teixeira writes: > > > Note that the major difference is that "-ppopt -DUSE_BATTERIES" must be > > passed to Camlp4 only when compiling the Batteries version. The problem > > is that it's *always* passed, even if the "batteries" flag is disabled > > by passing "--disable-batteries" to the configure script. > > Probably it's a leftover setup.data, that contains these flags. > > Just remove setup.data and regenerate files, > > -- > Wojciech Meyer > http://danmey.org > --14dae93404b93da54604d0e769aa Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

Hi,

Can you send me=A0 the generated _tags.

The problem is probably in the fact that the same file are c= ompiled twice and are applied exactly the same set of options in ocamlbuild= .

Note that in general ocaml doesn't support well conditio= nal compilation....

Regards
Sylvain

Le 15 d=E9c. 2012 17:17, "Wojciech Meyer&qu= ot; <wojciech.meyer@gmail.co= m> a =E9crit=A0:
Hi,

Dario Teixeira <darioteixeira= @yahoo.com> writes:

> Note that the major difference is that "-ppopt -DUSE_BATTERIES&qu= ot; must be
> passed to Camlp4 only when compiling the Batteries version.=A0 The pro= blem
> is that it's *always* passed, even if the "batteries" fl= ag is disabled
> by passing "--disable-batteries" to the configure script.

Probably it's a leftover setup.data, that contains these flags.

Just remove setup.data and regenerate files,

--
Wojciech Meyer
http://danmey.org
--14dae93404b93da54604d0e769aa--