From: Sylvain Le Gall <sylvain@le-gall.net>
To: Wojciech Meyer <wojciech.meyer@gmail.com>
Cc: Dario Teixeira <darioteixeira@yahoo.com>, caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] OASIS and conditional compilation
Date: Sat, 15 Dec 2012 18:23:48 +0100 [thread overview]
Message-ID: <CAOCAUGOAyzjqF+FwKqGw8nxPD=6+eo7yXqhZDU=t6yGWHEezNA@mail.gmail.com> (raw)
In-Reply-To: <wfsj77l27w.fsf@gmail.com>
[-- Attachment #1: Type: text/plain, Size: 897 bytes --]
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éc. 2012 17:17, "Wojciech Meyer" <wojciech.meyer@gmail.com> a écrit :
> 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. 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
>
[-- Attachment #2: Type: text/html, Size: 1395 bytes --]
next prev parent reply other threads:[~2012-12-15 17:23 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-12-15 16:02 Dario Teixeira
2012-12-15 16:17 ` Wojciech Meyer
2012-12-15 16:56 ` Dario Teixeira
2012-12-15 17:23 ` Sylvain Le Gall [this message]
2012-12-15 18:25 ` Dario Teixeira
2012-12-15 16:59 ` Török Edwin
2012-12-15 18:31 ` Dario Teixeira
2012-12-16 1:13 ` Jacques-Pascal Deplaix
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAOCAUGOAyzjqF+FwKqGw8nxPD=6+eo7yXqhZDU=t6yGWHEezNA@mail.gmail.com' \
--to=sylvain@le-gall.net \
--cc=caml-list@inria.fr \
--cc=darioteixeira@yahoo.com \
--cc=wojciech.meyer@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox