From e05ef4c1d8d7727288bc5cbea7cb6ad0aa7a3a47 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 3 Dec 2003 11:09:29 +0000
Subject: L'installation ne copiait pas les .vo du traducteur

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 093c1091ff..61e115846e 100644
--- a/Makefile
+++ b/Makefile
@@ -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)
-- 
cgit v1.2.3