From 52fcf2c7ab28b347b7d0fa378f2a50c99db40d1f Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 4 Nov 2013 10:00:32 +0000 Subject: [PATCH] configuration for gecode --- packages/gecode/configure.in | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/packages/gecode/configure.in b/packages/gecode/configure.in index 2823e4728..2f2d2d499 100644 --- a/packages/gecode/configure.in +++ b/packages/gecode/configure.in @@ -39,10 +39,6 @@ AC_COMPILE_IFELSE([ GECODE_VERSION=unknown-gecode-version -GECODE_EXTRALIBS="$GECODE_EXTRALIBS -lgecodesupport -lgecodekernel -lgecodefloat -lgecodeint -lgecodeset -lgecodesearch -lgecodeset" - -AC_SUBST(GECODE_VERSION) -AC_SUBST(GECODE_EXTRALIBS) if test "$use_gecode" = yes; then AC_MSG_CHECKING([gecode version]) @@ -80,3 +76,12 @@ fi GECODE_MAJOR=`echo $GECODE_VERSION| sed 's/\(^.\).*/\1/'` AC_SUBST(GECODE_MAJOR) + +if test "$GECODE_MAJOR" = "3"; then + GECODE_EXTRALIBS="$GECODE_EXTRALIBS -lgecodesupport -lgecodekernel -lgecodeint -lgecodeset -lgecodesearch" +else + GECODE_EXTRALIBS="$GECODE_EXTRALIBS -lgecodesupport -lgecodekernel -lgecodefloat -lgecodeint -lgecodeset -lgecodesearch" +fi + +AC_SUBST(GECODE_VERSION) +AC_SUBST(GECODE_EXTRALIBS)