From: Jaap Boender <Jaap.Boender@pps.jussieu.fr>
To: caml-list@inria.fr
Subject: ocamlbuild and ocaml(duce)find
Date: Fri, 8 Jun 2007 10:55:50 +0200 [thread overview]
Message-ID: <200706081055.50934.Jaap.Boender@pps.jussieu.fr> (raw)
Hello,
I'm trying to build with ocamlbuild a project that is divided over multiple
directories and uses ocamlducefind. So, as indicated before on this list, I
run ocamlbuild with the options -ocamldep="ocamlducefind ocamldep" etc. and
in order to get all directories compiled, I'm adding include tags for all
directories. So far so good, but now Ocamlbuild complains:
Uncaught exception: Unix.Unix_error(20, "stat", "io")
and indeed, the io directory (which contains a module of my project) is
missing from the _build directory.
What seems to happen is that during the compilation of a module A, the io
module is not necessary, so it doesn't get copied to the _build directory (?)
but ocamlbuild nonetheless passes -I options to the compiler for all the
flags that I've included. Vanilla ocaml doesn't mind if a directory passed
with -I doesn't exist, but apparently ocaml(duce)find does.
Could anybody give me some pointers as to how to solve this problem? Write an
ocamlbuild plugin (how? documentation is somewhat scanty...)? Pass some more
options? Any advice would be welcome.
Jaap Boender
--
Groupe PPS, Université Paris VII
Bureau 5C01, tél. 01 44 27 85 04
next reply other threads:[~2007-06-08 8:55 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-06-08 8:55 Jaap Boender [this message]
2007-06-08 11:51 ` [Caml-list] " Nicolas Pouillard
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=200706081055.50934.Jaap.Boender@pps.jussieu.fr \
--to=jaap.boender@pps.jussieu.fr \
--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