diff options
| author | filliatr | 2000-11-09 13:10:23 +0000 |
|---|---|---|
| committer | filliatr | 2000-11-09 13:10:23 +0000 |
| commit | e74a76adc938d794b43ce425986c07f6cfe126da (patch) | |
| tree | fa619af07574ba54b3914db2296b9a0ba3d58f15 | |
| parent | a5c70554cfe1c49c209a7ac804c5eafd5446ffc7 (diff) | |
-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
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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) |