From 710ed9a0fbc2ff90df37923c7815b96593a35d08 Mon Sep 17 00:00:00 2001 From: filliatr Date: Tue, 10 Apr 2001 15:38:26 +0000 Subject: -I contrib/extraction pour compiler Extraction.v git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1574 85f007b7-540e-0410-9357-904b9bb8a0f7 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index c64d92c39..1f5fe7307 100644 --- a/Makefile +++ b/Makefile @@ -329,7 +329,7 @@ tactics/%.vo: tactics/%.v states/barestate.coq $(COQC) $(COQC) -$(BEST) -bindir bin -q -I tactics -is states/barestate.coq $< contrib/extraction/%.vo: contrib/extraction/%.v states/barestate.coq $(COQC) - $(COQC) -$(BEST) -bindir bin -q -I tactics -is states/barestate.coq $< + $(COQC) -$(BEST) -bindir bin -q -I contrib/extraction -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 -R theories Coq -load-vernac-source states/MakeInitial.v -outputstate states/initial.coq -- cgit v1.2.3