From 5fe67426b4fdc3a84804cda13ab7314412fea028 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 3 Oct 2003 15:18:00 +0000
Subject: oubli de deux flags -v7

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

diff --git a/Makefile b/Makefile
index e40d853414..aeb7384471 100644
--- a/Makefile
+++ b/Makefile
@@ -759,10 +759,10 @@ JPROVERVO =
 CCVO = contrib/cc/CC.vo
 
 contrib/interface/Centaur.vo: contrib/interface/Centaur.v $(INTERFACE)
-	$(BESTCOQTOP) -boot -byte  $(COQOPTS) -compile $*
+	$(BESTCOQTOP) -v7 -boot -byte  $(COQOPTS) -compile $*
 
 contrib/interface/AddDad.vo: contrib/interface/AddDad.v $(INTERFACE) states/initial.coq
-	$(BESTCOQTOP) -boot -byte  $(COQOPTS) -compile $*
+	$(BESTCOQTOP) -v7 -boot -byte  $(COQOPTS) -compile $*
 
 CONTRIBVO = $(OMEGAVO) $(ROMEGAVO) $(RINGVO) $(FIELDVO) $(XMLVO) \
 	    $(CORRECTNESSVO) $(FOURIERVO) \
-- 
cgit v1.2.3