From f3c6e557b2a8d53fefe7398294098028e33c9b09 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 25 Dec 2005 08:21:18 +0000
Subject: Utilisation de -notop pour imposer l'absence de module toplevel

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

diff --git a/Makefile b/Makefile
index 79604893fa..89f8a3d697 100644
--- a/Makefile
+++ b/Makefile
@@ -1094,13 +1094,13 @@ ALLOLDVO = $(OLDINITVO) $(OLDTHEORIESVO) $(OLDCONTRIBVO)
 SYNTAXPP=syntax/PPConstr.v syntax/PPCases.v
 
 states7/barestate.coq: $(SYNTAXPP) $(BESTCOQTOP)
-	$(BESTCOQTOP) -v7 -boot -batch -silent -nois -I syntax -load-vernac-source syntax/MakeBare.v -outputstate $@
+	$(BESTCOQTOP) -v7 -boot -batch -notop -silent -nois -I syntax -load-vernac-source syntax/MakeBare.v -outputstate $@
 
 states7/initial.coq: states7/barestate.coq states7/MakeInitial.v $(OLDINITVO) $(BESTCOQTOP)
-	$(BOOTCOQTOP) -v7 -batch -silent -is states7/barestate.coq -load-vernac-source states7/MakeInitial.v -outputstate states7/initial.coq
+	$(BOOTCOQTOP) -v7 -batch -notop -silent -is states7/barestate.coq -load-vernac-source states7/MakeInitial.v -outputstate states7/initial.coq
 
 states/initial.coq: states/MakeInitial.v $(NEWINITVO)
-	$(BOOTCOQTOP) -batch -silent -nois -load-vernac-source states/MakeInitial.v -outputstate states/initial.coq
+	$(BOOTCOQTOP) -batch -notop -silent -nois -load-vernac-source states/MakeInitial.v -outputstate states/initial.coq
 
 theories7/Init/%.vo: $(BESTCOQTOP) theories7/Init/%.v
 	$(BOOTCOQTOP) $(TRANSLATE) -nois -compile theories7/Init/$*
-- 
cgit v1.2.3