From d21d934c5ef9f47046a705eebd554e63f77b9e30 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 13 Dec 1999 15:23:16 +0000
Subject:  - états fabriqués avec -silent  - compilation theories avec -q  -
 correction but de tclORELSE qui doit maintenant rattraper aussi    TypeError
 et RefinerError

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 72cc981fcf..22f2217f05 100644
--- a/Makefile
+++ b/Makefile
@@ -180,7 +180,7 @@ states: states/barestate.coq
 SYNTAXPP=syntax/PPCommand.v syntax/PPTactic.v syntax/PPCases.v
 
 states/barestate.coq: $(SYNTAXPP) coqtop.byte
-	./coqtop.byte -q -batch -nois -I syntax -load-vernac-source syntax/MakeBare.v -outputstate states/barestate.coq
+	./coqtop.byte -q -batch -silent -nois -I syntax -load-vernac-source syntax/MakeBare.v -outputstate states/barestate.coq
 
 ###########################################################################
 # theories
@@ -382,7 +382,7 @@ toplevel/mltop.cmx: toplevel/mltop.ml4
 	$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4EXTEND) -impl" -c -impl $<
 
 .v.vo:
-	$(COQC) $(COQINCLUDES) $<
+	$(COQC) $(COQINCLUDES) -q $<
 
 .el.elc:
 	echo "(setq load-path (cons \".\" load-path))" > $*.compile
-- 
cgit v1.2.3