diff options
| author | notin | 2008-02-28 15:40:57 +0000 |
|---|---|---|
| committer | notin | 2008-02-28 15:40:57 +0000 |
| commit | 85302f651dba5b8577d0ff9ec5998a4e97f7731c (patch) | |
| tree | 964b2c76a7b3d5d5d417368ef4a03d0ff613f1d1 /Makefile.build | |
| parent | b8afd9fbeac384944ccfc36cb449409eb151510e (diff) | |
Coq_makefile: correction de l'appel aux exécutables Ocaml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10606 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 85bfb2e827..53acb99bf2 100644 --- a/Makefile.build +++ b/Makefile.build @@ -542,9 +542,9 @@ $(GALLINA): $(GALLINACMO) $(SHOW)'OCAMLC -o $@' $(HIDE)$(OCAMLC) $(BYTEFLAGS) -custom -o $@ $(GALLINACMO) -$(COQMAKEFILE): tools/coq_makefile.cmo +$(COQMAKEFILE): tools/coq_makefile.cmo config/coq_config.cmo $(SHOW)'OCAMLC -o $@' - $(HIDE)$(OCAMLC) $(BYTEFLAGS) -custom -o $@ tools/coq_makefile.cmo + $(HIDE)$(OCAMLC) $(BYTEFLAGS) -custom -o $@ config/coq_config.cmo tools/coq_makefile.cmo $(COQTEX): tools/coq-tex.cmo $(SHOW)'OCAMLC -o $@' |