fix GECODE_EXTRALIBS assignment
This commit is contained in:
parent
0eb760e68f
commit
d75cf3118a
2
configure
vendored
2
configure
vendored
@ -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
|
||||
|
@ -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
|
||||
|
Reference in New Issue
Block a user