From: Dario Teixeira <dario.teixeira@nleyten.com>
To: caml-list <caml-list@inria.fr>
Subject: [Caml-list] Forcing OCamlbuild to compile a file before another
Date: Fri, 23 Jan 2015 15:08:23 +0000 [thread overview]
Message-ID: <7bca26c097b73f653bd8bbfa1a07eaa8@nleyten.com> (raw)
Hi,
How does one force OCamlbuild to compile a file before another
when it cannot automatically infer their dependency?
For instance, compilation fails because OCamlbuild tries to compile
lambwiki_parser.mly before lambwiki.ml. To get around it, I added
the following to the "After_rules" of my dispatcher:
dep ["menhir"; "file:lambwiki_parser.mly"] ["lambwiki.cmo"]
My assumption was that this told OCamlbuild that using Menhir to
compile file lambwiki_parser.mly added an explicit dependency
on lambwiki.cmo (which in turn can be obtained by compiling
lambwiki.ml). This doesn't work, however, so perhaps my
mental model of how OCamlbuild works is not correct.
Any ideas on how to get this to work as intended?
Thanks in advance for your attention!
Best regards,
Dario Teixeira
next reply other threads:[~2015-01-23 15:08 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-01-23 15:08 Dario Teixeira [this message]
2015-01-23 16:41 ` Francois Pottier
2015-01-23 19:09 ` Dario Teixeira
2015-01-24 12:56 ` Gabriel Scherer
2015-01-25 18:16 ` Dario Teixeira
2015-01-26 12:30 ` Dario Teixeira
2015-02-03 21:13 ` Gabriel Scherer
2015-02-04 13:18 ` Dario Teixeira
2015-02-04 14:52 ` Gabriel Scherer
2015-02-04 16:15 ` Dario Teixeira
2015-02-04 16:44 ` Gabriel Scherer
2015-02-06 17:01 ` Dario Teixeira
2015-02-06 17:05 ` Gabriel Scherer
2015-02-06 18:58 ` Dario Teixeira
2015-02-15 10:41 ` Gabriel Scherer
2015-02-15 13:55 ` Dario Teixeira
2015-02-15 14:42 ` Gabriel Scherer
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=7bca26c097b73f653bd8bbfa1a07eaa8@nleyten.com \
--to=dario.teixeira@nleyten.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