From f1d2214ed54ab1afe1ffb8a3c5b36e37be48e847 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 27 Jan 2004 14:41:56 +0000
Subject: Correction des cibles des theories indviduelles

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5255 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/Makefile b/Makefile
index b209f74ce7..8120bb6a10 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3