diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1258,7 +1258,7 @@ newcontrib:: $(CONTRIBVO:%.vo=new%.vo) $(CONTRIBCMO) COQTOPNEW=bin/coqtopnew.$(BEST)$(EXE) NEWCMX=$(HIGHPARSINGNEW:.cmo=.cmx) -NEWOPTS=-boot $(GLOB) -R newtheories Coq -R newcontrib Coq +NEWOPTS=-boot $(GLOB) -v8 -R newtheories Coq -R newcontrib Coq NEWCOQBARE=$(COQTOPNEW) $(NEWOPTS) -nois NEWCOQ=$(COQTOPNEW) $(NEWOPTS) -is states/initialnew.coq |