diff options
| author | herbelin | 2004-01-27 14:41:56 +0000 |
|---|---|---|
| committer | herbelin | 2004-01-27 14:41:56 +0000 |
| commit | f1d2214ed54ab1afe1ffb8a3c5b36e37be48e847 (patch) | |
| tree | fef5c9fb6d1daaefff6eeac6e5191fd1ce7675a1 | |
| parent | 40f6703ca86c6737d9d992154a2c879d722bb72e (diff) | |
Correction des cibles des theories indviduelles
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5255 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 |