blob: b4177f36639f9494fc26883c9ba25c56ac86a407 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- configure.ac.orig 2018-07-12 21:33:27 UTC
+++ configure.ac
@@ -913,7 +913,7 @@ AC_ARG_WITH([cryptominisat],
CVC4_CHECK_FOR_CRYPTOMINISAT
if test $have_libcryptominisat -eq 1; then
CVC4CPPFLAGS="${CVC4CPPFLAGS:+$CVC4CPPFLAGS }-DCVC4_USE_CRYPTOMINISAT"
- CVC4CPPFLAGS="${CVC4CPPFLAGS:+$CVC4CPPFLAGS }-I$CRYPTOMINISAT_HOME/install/include"
+ CVC4CPPFLAGS="${CVC4CPPFLAGS:+$CVC4CPPFLAGS }-I$CRYPTOMINISAT_HOME/include"
fi
AM_CONDITIONAL([CVC4_USE_CRYPTOMINISAT], [test $have_libcryptominisat -eq 1])
AC_SUBST([CRYPTOMINISAT_LDFLAGS])
|
