From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <wojciech.meyer@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 6F4847F2AA
	for <caml-list@sympa.inria.fr>; Sat, 15 Dec 2012 17:17:00 +0100 (CET)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  wojciech.meyer@gmail.com) identity=pra;
  client-ip=74.125.82.182;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="wojciech.meyer@gmail.com";
  x-sender="wojciech.meyer@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  wojciech.meyer@gmail.com designates 74.125.82.182 as
  permitted sender) identity=mailfrom; client-ip=74.125.82.182;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="wojciech.meyer@gmail.com";
  x-sender="wojciech.meyer@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-we0-f182.google.com) identity=helo;
  client-ip=74.125.82.182;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="wojciech.meyer@gmail.com";
  x-sender="postmaster@mail-we0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsoCAPihzFBKfVK2k2dsb2JhbABFg0iCLEelQ5JNCBYOAQEBAQkJCwkUBCOCHgEBBAEjHQEbHQEDAQsGBQsPAgUhAgIPAQQPEQEFAQoYE4gAAQMJBgSdEYtkT4J7hEcKGScNWYh2AQUMgRaKUm6DK4ETA5Q3gVKBHIobgzE/hBQ
X-IronPort-AV: E=Sophos;i="4.84,291,1355094000"; 
   d="scan'208";a="165944759"
Received: from mail-we0-f182.google.com ([74.125.82.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Dec 2012 17:16:59 +0100
Received: by mail-we0-f182.google.com with SMTP id u54so2052297wey.27
        for <caml-list@inria.fr>; Sat, 15 Dec 2012 08:16:59 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=from:to:cc:subject:references:date:in-reply-to:message-id
         :user-agent:mime-version:content-type:content-transfer-encoding;
        bh=fdBJzGLzNU40kR5rAAy322PqvXii7uAF50RI5gNnODA=;
        b=C63nCKcc0cWY1INfYedazQLWkvk+/DJ3MwwDYNW886DqjBowaPRIZY6sTFLSQDNBSc
         +AJmVEuBGBtCTFTnv2OCMs91p68jLQrpJVmnLaLPxNd4ASkETTRVvJJ4cRMnuwVQR2q2
         +49vKs6PCwXtDJooMFDXbye+dX/eJkPBghRkNXVHMUXeMQMTj9ewTuPeYVzBJhTN1QHb
         hfEkrpaqkXFfrbzY0HOKODGkdGS8xHjkUxPE7H79/941+NBpwCvMK1nBL5cQ0BpDq4wZ
         TFxZ+XB52uny1yxpCO8bJkxtXo7tKyMuWkI3o+6ipaw0DkB7oBaxEoLMOt+r4fdO1S6j
         yfyA==
Received: by 10.180.24.199 with SMTP id w7mr8020562wif.5.1355588219296;
        Sat, 15 Dec 2012 08:16:59 -0800 (PST)
Received: from spec-desktop.danmey.org (cpc1-cmbg12-0-0-cust201.5-4.cable.virginmedia.com. [86.9.116.202])
        by mx.google.com with ESMTPS id i2sm2768614wiw.3.2012.12.15.08.16.57
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 15 Dec 2012 08:16:58 -0800 (PST)
From: Wojciech Meyer <wojciech.meyer@gmail.com>
To: Dario Teixeira <darioteixeira@yahoo.com>
Cc: OCaml mailing-list <caml-list@inria.fr>,  Sylvain Le Gall <sylvain@le-gall.net>
References: <1355587355.56246.YahooMailNeo@web120405.mail.ne1.yahoo.com>
Date: Sat, 15 Dec 2012 16:17:07 +0000
In-Reply-To: <1355587355.56246.YahooMailNeo@web120405.mail.ne1.yahoo.com>
	(Dario Teixeira's message of "Sat, 15 Dec 2012 08:02:35 -0800 (PST)")
Message-ID: <wfsj77l27w.fsf@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.94 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] OASIS and conditional compilation

Hi,

Dario Teixeira <darioteixeira@yahoo.com> writes:

> Note that the major difference is that "-ppopt -DUSE_BATTERIES" must be
> passed to Camlp4 only when compiling the Batteries version.=C2=A0 The pro=
blem
> 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,

--=20
Wojciech Meyer
http://danmey.org