diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-02-22 22:24:19 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-02-22 22:24:19 +0000 |
| commit | 4711f242b834ae5616a6ddd28538b1e4cf863f50 (patch) | |
| tree | 7daa9c651b8f617892cffebeae6998a1b38069cf /configure.ac | |
| parent | 2ef6c6a2a9dcf4f86bda32ceba0975f9f2a2e8ed (diff) | |
fixes to configure and boost.m4 to make certain boost installations nonfatal errors; threading support should only be required to build pcvc4, not cvc4
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/configure.ac b/configure.ac index 91af13e72..a31244c31 100644 --- a/configure.ac +++ b/configure.ac @@ -870,13 +870,9 @@ if test $cvc4_has_threads = maybe; then if test $cvc4_has_threads = no; then AC_MSG_WARN([disabling multithreaded support]) else - BOOST_THREADS - if test -n "$BOOST_THREAD_LIBS"; then - cvc4_has_threads=yes - else - AC_MSG_WARN([disabling multithreaded support]) - cvc4_has_threads=no - fi + cvc4_has_threads=yes + BOOST_THREADS([], [AC_MSG_WARN([disabling multithreaded support]) + cvc4_has_threads=no]) fi LDFLAGS="$cvc4_save_LDFLAGS" fi |