From 85302f651dba5b8577d0ff9ec5998a4e97f7731c Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 28 Feb 2008 15:40:57 +0000
Subject: 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
---
 Makefile.build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.build')

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 $@'
-- 
cgit v1.2.3