From 9d135f6bca625074d1344515d34016baa6ee8b61 Mon Sep 17 00:00:00 2001
From: notin
Date: Wed, 14 Mar 2007 15:40:13 +0000
Subject: Bug dans Makefile (COQINSTALLPREFIX)

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

diff --git a/Makefile b/Makefile
index 00521f4959..708f8af85f 100644
--- a/Makefile
+++ b/Makefile
@@ -494,7 +494,7 @@ $(COQC): $(ORDER_ONLY_SEP) $(BESTCOQC)
 
 
 clean::
-	rm -f scripts/tolink.ml
+	rm -f scripts/tolink.ml $(COQCOPT) $(COQMKTOPOPT)
 
 archclean::
 	rm -f $(COQTOPBYTE) $(COQTOPOPT) $(BESTCOQTOP) $(COQC) $(COQMKTOP)
@@ -1255,14 +1255,16 @@ archclean::
 ###########################################################################
 
 COQINSTALLPREFIX=
+OLDROOT=
+
   # Can be changed for a local installation (to make packages).
   # You must NOT put a "/" at the end (Cygnus for win32 does not like "//").
 
-FULLBINDIR=$(BINDIR:'$(OLDROOT)%='$(COQINSTALLPREFIX)%)
-FULLCOQLIB=$(COQLIB:'$(OLDROOT)%='$(COQINSTALLPREFIX)%)
-FULLMANDIR=$(MANDIR:'$(OLDROOT)%='$(COQINSTALLPREFIX)%)
-FULLEMACSLIB=$(EMACSLIB:'$(OLDROOT)%='$(COQINSTALLPREFIX)%)
-FULLCOQDOCDIR=$(COQDOCDIR:'$(OLDROOT)%='$(COQINSTALLPREFIX)%)
+FULLBINDIR=$(BINDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
+FULLCOQLIB=$(COQLIB:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
+FULLMANDIR=$(MANDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
+FULLEMACSLIB=$(EMACSLIB:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
+FULLCOQDOCDIR=$(COQDOCDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
 
 install-coq: install-binaries install-library install-coq-info
 install-coqlight: install-binaries install-library-light
-- 
cgit v1.2.3