diff options
| -rw-r--r-- | Makefile | 28 |
1 files changed, 14 insertions, 14 deletions
@@ -807,21 +807,21 @@ OLDTHEORIESLIGHTVO = $(NEWTHEORIESLIGHTVO:theories%.vo:theories7%.vo) theories: $(THEORIESVO) theories-light: $(NEWTHEORIESLIGHTVO) -logic: $(LOGICVO:%.vo=new%.vo) -arith: $(ARITHVO:%.vo=new%.vo) -bool: $(BOOLVO:%.vo=new%.vo) -narith: $(NARITHVO:%.vo=new%.vo) -zarith: $(ZARITHVO:%.vo=new%.vo) -lists: $(LISTVO) $(LISTSVO:%.vo=new%.vo) -sets: $(SETSVO:%.vo=new%.vo) -intmap: $(INTMAPVO:%.vo=new%.vo) -relations: $(RELATIONSVO:%.vo=new%.vo) -wellfounded: $(WELLFOUNDEDVO:%.vo=new%.vo) +logic: $(LOGICVO) +arith: $(ARITHVO) +bool: $(BOOLVO) +narith: $(NARITHVO) +zarith: $(ZARITHVO) +lists: $(LISTVO) $(LISTSVO) +sets: $(SETSVO) +intmap: $(INTMAPVO) +relations: $(RELATIONSVO) +wellfounded: $(WELLFOUNDEDVO) # reals -reals: $(REALSVO:%.vo=new%.vo) -allreals: $(ALLREALS:%.vo=new%.vo) -setoids: $(SETOIDSVO:%.vo=new%.vo) -sorting: $(SORTINGVO:%.vo=new%.vo) +reals: $(REALSVO) +allreals: $(ALLREALS) +setoids: $(SETOIDSVO) +sorting: $(SORTINGVO) noreal: logic arith bool zarith lists sets intmap relations wellfounded \ setoids sorting |