From bffe056eb6e0499837782e96c6b7076faba88ef2 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 16 Feb 2010 15:19:15 +0000
Subject: Makefile.build: avoid warning about undefined variable during make
 install

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

diff --git a/Makefile.build b/Makefile.build
index ee926cfa45..8dcfbdd15c 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -535,12 +535,21 @@ endif
   # Can be changed for a local installation (to make packages).
   # You must NOT put a "/" at the end (Cygnus for win32 does not like "//").
 
+ifdef COQINSTALLPREFIX
 FULLBINDIR=$(BINDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
 FULLCOQLIB=$(COQLIBINSTALL:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
 FULLMANDIR=$(MANDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
 FULLEMACSLIB=$(EMACSLIB:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
 FULLCOQDOCDIR=$(COQDOCDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
 FULLDOCDIR=$(DOCDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%)
+else
+FULLBINDIR=$(BINDIR)
+FULLCOQLIB=$(COQLIBINSTALL)
+FULLMANDIR=$(MANDIR)
+FULLEMACSLIB=$(EMACSLIB)
+FULLCOQDOCDIR=$(COQDOCDIR)
+FULLDOCDIR=$(DOCDIR)
+endif
 
 install-coq: install-binaries install-library install-coq-info
 install-coqlight: install-binaries install-library-light
-- 
cgit v1.2.3