diff options
| author | letouzey | 2009-03-26 19:31:40 +0000 |
|---|---|---|
| committer | letouzey | 2009-03-26 19:31:40 +0000 |
| commit | d1e8a2a6e5e2fdea6cf0ff0ed9860b98eced0c97 (patch) | |
| tree | 4305dbed426d464f6bf96ca61e0954e659cd8177 /coq.itarget | |
| parent | 9ab0ff7ae7e1668d89d94ab6ab20084714fc3a2f (diff) | |
Ocamlbuild: 1st reasonably complete version (rules for binaries + plugins + vo)
Dealing with .vo files was harder than anticipated (issues with
coqdep_boot and the location of the .v files). Current solution
cannot compete for a beauty prize, but well.
Several other issues remain (see top and bottom of myocamlbuild.ml)
- For the moment the coqlib / coqsrc in Coq_config is to be
hacked by hand to add _build/ in it.
- Parallelism is a "no go" for the moment. Ocamlbuild accepts
a -j option, but it has almost no effect experimentally.
(but at least it doesn't take more time than make -j1,
i.e. about 14 min here, instead of about 7 for make -j2)
- After a first full build, ocamlbuild is awfully slow
to detect that nothing has to be redone (1 min 25 here)
To be continued...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12021 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'coq.itarget')
| -rw-r--r-- | coq.itarget | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/coq.itarget b/coq.itarget index ea48c3339f..6ab8e46700 100644 --- a/coq.itarget +++ b/coq.itarget @@ -1,12 +1,2 @@ -bin/coqmktop -bin/coqtop -bin/coqide -bin/coqc -bin/coqchk -bin/coqdep -bin/coqwc -bin/coq-tex -bin/coq_makefile -bin/gallina -bin/coqdoc -states/initial.coq +bin.otarget +vo.otarget |