From: Dario Teixeira <darioteixeira@yahoo.com>
To: OCaml mailing-list <caml-list@inria.fr>
Subject: [Caml-list] OCamlbuild, OCamldep, and -no-alias-deps
Date: Mon, 22 Dec 2014 11:38:26 +0000 (UTC) [thread overview]
Message-ID: <1684764369.76718.1419248306617.JavaMail.yahoo@jws100105.mail.ne1.yahoo.com> (raw)
Hi,
I'm trying to use OASIS to produce the build system for a project
that uses the module aliases feature introduced in OCaml 4.02.
As a first step, I'm trying a dummy project with just the four
following files:
src/foo_a.ml:
####
let a = 1
####
src/foo_b.ml:
####
let b = 2
####
src/foo_c.ml:
####
let c = A.a + B.b
####
src/foo.ml:
####
module A = Foo_a
module B = Foo_b
module C = Foo_c
####
The _oasis file is as follows (minus some boilerplate):
####
OASISFormat: 0.4
Name: foo
Plugins: META (0.4), DevFiles (0.4)
BuildTools: ocamlbuild, make
Library "foo"
Path: src
Modules: Foo_a, Foo_b, Foo_c, Foo
####
After running "oasis setup", I've added the following two lines
to the generated _tags file:
<src/*>: no_alias_deps
<src/*> and not <src/foo.*>: open(Foo)
Unfortunately, this does not work. Running "make" produces a circular
build error (the sort one would expect without -no-alias-deps), and
looking at the _log file, it seems the -no-alias-deps option is not
being passed down to OCamldep.
Am I missing something, or is there really a bug somewhere?
Thanks in advance for your attention!
Best regards,
Dario Teixeira
reply other threads:[~2014-12-22 11:38 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=1684764369.76718.1419248306617.JavaMail.yahoo@jws100105.mail.ne1.yahoo.com \
--to=darioteixeira@yahoo.com \
--cc=caml-list@inria.fr \
/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