From e74a76adc938d794b43ce425986c07f6cfe126da Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 9 Nov 2000 13:10:23 +0000
Subject: -I theories/Init pour faire initial.coq

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@832 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0338d67793..1d023c9129 100644
--- a/Makefile
+++ b/Makefile
@@ -229,7 +229,7 @@ tactics/%.vo: tactics/%.v states/barestate.coq $(COQC)
 	$(COQC) -bindir bin -q -I tactics -is states/barestate.coq $<
 
 states/initial.coq: states/barestate.coq states/MakeInitial.v $(INITVO) $(TACTICSVO) $(BESTCOQTOP)
-	$(BESTCOQTOP) -q -batch -silent -is states/barestate.coq -I tactics -load-vernac-source states/MakeInitial.v -outputstate states/initial.coq
+	$(BESTCOQTOP) -q -batch -silent -is states/barestate.coq -I tactics -I theories/Init -load-vernac-source states/MakeInitial.v -outputstate states/initial.coq
 
 clean::
 	rm -f states/*~ states/*.coq
@@ -370,6 +370,9 @@ $(COQMAKEFILE): tools/coq_makefile.ml
 $(COQTEX): tools/coq-tex.ml
 	$(OCAMLC) $(BYTEFLAGS) -custom -o $@ str.cma tools/coq-tex.ml
 
+clean::
+	rm -f tools/coqdep_lexer.ml tools/gallina_lexer.ml
+
 archclean::
 	rm -f $(COQDEP) $(GALLINA) $(COQTEX) $(COQMAKEFILE)
 
-- 
cgit v1.2.3