1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 084f9d0..e6b6150 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ COQINCLUDES := -Q . predaware \
                -R ../vericert/lib/CompCert/flocq Flocq \
                -R ../vericert/lib/CompCert/MenhirLib MenhirLib
 
-COQMAKE := $(COQBIN)coq_makefile
+COQMAKE := coq_makefile
 
 VS := Main.v
 
@@ -20,9 +20,11 @@ Main.v: main.org
 	@echo "CONTEXT" $<
 	@context $<
 
-Makefile.coq _CoqProject: force
+Makefile.coq: force
 	@echo "COQMAKE Makefile.coq"
 	@$(COQMAKE) $(COQINCLUDES) $(VS) -o Makefile.coq
+
+_CoqProject: force
 	@echo "CREATE _CoqProject"
 	@echo "$(COQINCLUDES)" >_CoqProject