diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-07-26 19:56:44 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-26 19:56:44 -0700 |
commit | bf30407a9f4eb1077a64b495a7333382a008437c (patch) | |
tree | 8819d52344a635ff1e405c1fc0facfd9e045757b /configure.ac | |
parent | 7205a170a25960561078a0718441a7ec7714607b (diff) |
Fix CryptoMiniSat config to allow system versions. (#2223)
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index d1545febe..9ec9923c0 100644 --- a/configure.ac +++ b/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]) |