gecode compatibility.
This commit is contained in:
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=
|
||||
GECODE_EXTRALIBS=-lgecodesupport -lgecodekernel -lgecodeint -lgecodeset -lgecodesearch
|
||||
|
||||
|
||||
if test "$use_gecode" = yes; then
|
||||
|
Reference in New Issue
Block a user