diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -693,10 +693,11 @@ THEORIESVO = $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(NARITHVO) $(ZARITHVO) $ $(SETSVO) $(INTMAPVO) $(RELATIONSVO) $(WELLFOUNDEDVO) \ $(REALSVO) $(SETOIDSVO) $(SORTINGVO) -THEORIESLIGHTVO = $(INITVO) $(LOGICVO) $(ARITHVO) +NEWTHEORIESLIGHTVO = $(INITVO) $(LOGICVO) $(ARITHVO) +OLDTHEORIESLIGHTVO = $(NEWTHEORIESLIGHTVO:theories%.vo:theories7%.vo) theories: $(THEORIESVO) -theories-light: $(THEORIESLIGHTVO) +theories-light: $(NEWTHEORIESLIGHTVO) logic: $(LOGICVO:%.vo=new%.vo) arith: $(ARITHVO:%.vo=new%.vo) @@ -1049,8 +1050,8 @@ install-ide-opt: cp $(COQIDEBYTE) $(COQIDEOPT) $(FULLBINDIR) cd $(FULLBINDIR); ln -sf coqide.opt$(EXE) coqide$(EXE) -LIBFILES=$(THEORIESVO) $(CONTRIBVO) -LIBFILESLIGHT=$(THEORIESLIGHTVO) +LIBFILES=$(OLDTHEORIESVO) $(OLDCONTRIBVO) +LIBFILESLIGHT=$(OLDTHEORIESLIGHTVO) NEWLIBFILES=$(NEWTHEORIESVO) $(NEWCONTRIBVO) NEWLIBFILESLIGHT=$(NEWTHEORIESLIGHTVO) |