diff options
| author | letouzey | 2003-10-03 15:18:00 +0000 |
|---|---|---|
| committer | letouzey | 2003-10-03 15:18:00 +0000 |
| commit | 5fe67426b4fdc3a84804cda13ab7314412fea028 (patch) | |
| tree | 24c1589e2fffa6f880c579c255a09e4c2fd2163d | |
| parent | a7fd03419480a086ade17fa6d6e11ca731f363ba (diff) | |
oubli de deux flags -v7
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4519 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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) \ |