From d75cf3118a8443928066085765899e00748d767e Mon Sep 17 00:00:00 2001
From: Denys Duchier <denys.duchier@univ-orleans.fr>
Date: Sun, 4 Dec 2011 16:40:43 +0100
Subject: [PATCH] fix GECODE_EXTRALIBS assignment

---
 configure    | 2 +-
 configure.in | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index bd03306b7..a2ca2141e 100755
--- a/configure
+++ b/configure
@@ -4337,7 +4337,7 @@ $as_echo "no" >&6; }
 fi
 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
 GECODE_VERSION=unknown-gecode-version
-GECODE_EXTRALIBS=-lgecodesupport -lgecodekernel -lgecodeint -lgecodeset -lgecodesearch
+GECODE_EXTRALIBS="-lgecodesupport -lgecodekernel -lgecodeint -lgecodeset -lgecodesearch"
 
 
 if test "$use_gecode" = yes; then
diff --git a/configure.in b/configure.in
index dc498af47..211e35f7b 100755
--- a/configure.in
+++ b/configure.in
@@ -98,7 +98,7 @@ AC_COMPILE_IFELSE([
   AC_MSG_RESULT([no])
   ])
 GECODE_VERSION=unknown-gecode-version
-GECODE_EXTRALIBS=-lgecodesupport -lgecodekernel -lgecodeint -lgecodeset -lgecodesearch
+GECODE_EXTRALIBS="-lgecodesupport -lgecodekernel -lgecodeint -lgecodeset -lgecodesearch"
 AC_SUBST(GECODE_VERSION)
 AC_SUBST(GECODE_EXTRALIBS)
 if test "$use_gecode" = yes; then