From 90b694e92bf67b97216b145a9d644f128bd67bf8 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven@cs.kuleuven.be>
Date: Sun, 8 Feb 2009 17:34:33 +0100
Subject: [PATCH] configure.in: avoid introducing empty elements in
 PKG_CONFIG_PATH

---
 configure.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.in b/configure.in
index 5a134ac..d488a9c 100644
--- a/configure.in
+++ b/configure.in
@@ -312,7 +312,7 @@ AC_MSG_RESULT($with_bernstein)
 AC_ARG_WITH(ginac_prefix,
 	[AS_HELP_STRING([--with-ginac-prefix=DIR],[Installation prefix of GiNaC])])
 if test "x$with_ginac_prefix" != "x"; then
-	export PKG_CONFIG_PATH=$with_ginac_prefix/lib/pkgconfig:$PKG_CONFIG_PATH
+	export PKG_CONFIG_PATH="$with_ginac_prefix/lib/pkgconfig${PKG_CONFIG_PATH+:$PKG_CONFIG_PATH}"
 fi
 
 AC_SUBST(bv_barvinok_bound)
-- 
2.11.4.GIT