From 7d94e54e8dfa1d3d72d6c31f01dff49b701bcf99 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 6 Dec 1999 10:13:19 +0000
Subject: erreurs lexicales

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@211 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 05659ece6b..df332485fc 100644
--- a/Makefile
+++ b/Makefile
@@ -111,12 +111,12 @@ CMO=$(CONFIG) $(LIB) $(KERNEL) $(LIBRARY) $(PRETYPING) $(PARSING) \
 CMX=$(CMO:.cmo=.cmx) $(ARITHSYNTAX:.cmo=.cmx)
 
 ###########################################################################
-# Main targets
+# Main targets (coqmktop, coqtop, coqtop.byte)
 ###########################################################################
 
 COQMKTOP=scripts/coqmktop
 
-world: minicoq coqtop.byte $(COQMKTOP) dev/db_printers.cmo
+world: $(COQMKTOP) coqtop.byte coqtop states tools
 
 coqtop: $(COQMKTOP) $(CMX)
 	$(COQMKTOP) -opt -notactics $(OPTFLAGS) -o coqtop
@@ -156,11 +156,19 @@ toplevel: $(TOPLEVEL)
 
 # states
 
+states: states/barestate.coq
+
 SYNTAXPP=syntax/PPCommand.v syntax/PPTactic.v syntax/PPMultipleCase.v
 
 states/barestate.coq: $(SYNTAXPP) coqtop.byte
 	./coqtop.byte -q -batch -nois -I syntax -load-vernac-source syntax/MakeBare.v -outputstate states/barestate.coq
 
+###########################################################################
+# tools
+###########################################################################
+
+tools: dev/db_printers.cmo
+
 ###########################################################################
 # minicoq
 ###########################################################################
-- 
cgit v1.2.3