From af3d481838fdcd27434d2e712a5efc8070dd7ecc Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 10 Dec 1999 16:26:19 +0000
Subject: bug: enregistrement de vartab au lieu de csttab

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5ab2271c45..9e765c42ab 100644
--- a/Makefile
+++ b/Makefile
@@ -113,15 +113,15 @@ CMO=$(CONFIG) $(LIB) $(KERNEL) $(LIBRARY) $(PRETYPING) $(PARSING) \
 CMX=$(CMO:.cmo=.cmx) $(ARITHSYNTAX:.cmo=.cmx)
 
 ###########################################################################
-# Main targets (coqmktop, coqtop, coqtop.byte)
+# Main targets (coqmktop, coqtop.opt, coqtop.byte)
 ###########################################################################
 
 COQMKTOP=scripts/coqmktop
 
-world: $(COQMKTOP) coqtop.byte coqtop states tools
+world: $(COQMKTOP) coqtop.byte coqtop.opt states tools
 
-coqtop: $(COQMKTOP) $(CMX)
-	$(COQMKTOP) -opt -notactics $(OPTFLAGS) -o coqtop
+coqtop.opt: $(COQMKTOP) $(CMX)
+	$(COQMKTOP) -opt -notactics $(OPTFLAGS) -o coqtop.opt
 
 coqtop.byte: $(COQMKTOP) $(CMO) Makefile
 	$(COQMKTOP) -top $(BYTEFLAGS) -o coqtop.byte
@@ -329,7 +329,7 @@ archclean::
 	rm -f parsing/*.cmx parsing/*.[so]
 	rm -f pretyping/*.cmx pretyping/*.[so]
 	rm -f toplevel/*.cmx toplevel/*.[so]
-	rm -f coqtop coqtop.byte minicoq
+	rm -f coqtop.opt coqtop.byte minicoq
 
 cleanall:: archclean
 	rm -f *~
-- 
cgit v1.2.3