diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/cryptominisat.m4 | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/config/cryptominisat.m4 b/config/cryptominisat.m4 index 2cd48e87d..8f2f5bc51 100644 --- a/config/cryptominisat.m4 +++ b/config/cryptominisat.m4 @@ -21,22 +21,22 @@ elif test -n "$with_cryptominisat"; then [path to top level of cryptominisat source tree] ), CRYPTOMINISAT_HOME="$withval", - [ if test -z "$CRYPTOMINISAT_HOME" && ! test -e "$ac_abs_confdir/cryptominisat4/install/bin/cryptominisat"; then - AC_MSG_FAILURE([must give --with-cryptominisat-dir=PATH, define environment variable CRYPTOMINISAT_HOME, or use contrib/get-cryptominisat4 to setup Cryptominisat4 for CVC4!]) + [ if test -z "$CRYPTOMINISAT_HOME" && ! test -e "$ac_abs_confdir/cryptominisat5/install/bin/cryptominisat5"; then + AC_MSG_FAILURE([must give --with-cryptominisat-dir=PATH, define environment variable CRYPTOMINISAT_HOME, or use contrib/get-cryptominisat to setup cryptominisat5 for CVC4!]) fi ] ) - # Check if cryptominisat4 was installed via contrib/get-cryptominisat4 - AC_MSG_CHECKING([whether Cryptominisat4 was already installed via contrib/get-cryptominisat4]) - if test -z "$CRYPTOMINISAT_HOME" && test -e "$ac_abs_confdir/cryptominisat4/install/bin/cryptominisat"; then - CRYPTOMINISAT_HOME="$ac_abs_confdir/cryptominisat4" + # Check if cryptominisat5 was installed via contrib/get-cryptominisat + AC_MSG_CHECKING([whether cryptominisat5 was already installed via contrib/get-cryptominisat]) + if test -z "$CRYPTOMINISAT_HOME" && test -e "$ac_abs_confdir/cryptominisat5/install/bin/cryptominisat5"; then + CRYPTOMINISAT_HOME="$ac_abs_confdir/cryptominisat5" AC_MSG_RESULT([yes, $CRYPTOMINISAT_HOME]) else AC_MSG_RESULT([no]) fi - if ! test -d "$CRYPTOMINISAT_HOME" || ! test -x "$CRYPTOMINISAT_HOME/install/bin/cryptominisat" ; then + if ! test -d "$CRYPTOMINISAT_HOME" || ! test -x "$CRYPTOMINISAT_HOME/install/bin/cryptominisat5" ; then AC_MSG_FAILURE([either $CRYPTOMINISAT_HOME is not an cryptominisat install tree or it's not yet built]) fi @@ -77,11 +77,11 @@ if test -z "$CRYPTOMINISAT_LIBS"; then cvc4_save_CPPFLAGS="$CPPFLAGS" LDFLAGS="-L$CRYPTOMINISAT_HOME/install/lib" - LIBS="-lcryptominisat4 $1" + LIBS="-lcryptominisat5 $1" AC_LINK_IFELSE( - [AC_LANG_PROGRAM([[#include <cryptominisat4/cryptominisat.h>]], - [[CMSat::SATSolver test()]])], [CRYPTOMINISAT_LIBS="-lcryptominisat4 $1"], + [AC_LANG_PROGRAM([[#include <cryptominisat5/cryptominisat.h>]], + [[CMSat::SATSolver test()]])], [CRYPTOMINISAT_LIBS="-lcryptominisat5 $1"], [CRYPTOMINISAT_LIBS=]) LDFLAGS="$cvc4_save_LDFLAGS" |