From 78811c7ecba58fc35a3441ac1d510c67e28b159e Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 3 Apr 2001 06:53:44 +0000
Subject: installation des .cmo pour l'extraction

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

diff --git a/Makefile b/Makefile
index 39839ba9f2..819ca84cd1 100644
--- a/Makefile
+++ b/Makefile
@@ -485,11 +485,12 @@ install-binaries:
 	$(MKDIR) $(FULLBINDIR)
 	cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(FULLBINDIR)
 
-ALLVO=$(INITVO) $(TACTICSVO) $(THEORIESVO) $(CONTRIBVO)
+LIBFILES=$(INITVO) $(TACTICSVO) $(THEORIESVO) $(CONTRIBVO) \
+         $(EXTRACTIONCMO)
 
 install-library:
 	$(MKDIR) $(FULLCOQLIB)
-	for f in $(ALLVO); do \
+	for f in $(LIBFILES); do \
 	  $(MKDIR) $(FULLCOQLIB)/`dirname $$f`; \
 	  cp $$f $(FULLCOQLIB)/`dirname $$f`; \
         done
-- 
cgit v1.2.3