diff options
| author | herbelin | 2003-12-03 11:09:29 +0000 |
|---|---|---|
| committer | herbelin | 2003-12-03 11:09:29 +0000 |
| commit | e05ef4c1d8d7727288bc5cbea7cb6ad0aa7a3a47 (patch) | |
| tree | 2d5f5c377a5c017f757d96ab37b4bc19eb90a0fa | |
| parent | cd49cfcea4184a8d4f1fe7c513f3ec3fdf36ac2e (diff) | |
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
| -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) |