diff options
Diffstat (limited to 'math/cvc4/files/patch-configure.ac')
| -rw-r--r-- | math/cvc4/files/patch-configure.ac | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/cvc4/files/patch-configure.ac b/math/cvc4/files/patch-configure.ac new file mode 100644 index 000000000000..b4177f36639f --- /dev/null +++ b/math/cvc4/files/patch-configure.ac @@ -0,0 +1,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]) |