diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-04-28 00:49:10 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-04-28 00:49:10 +0000 |
commit | bee9dd1d28afec632381083bdfb7e3ed119dd35a (patch) | |
tree | 47c8bf1dbce34229683ffae797a83e97eaa7c3b8 /configure.ac | |
parent | 057d291e5a8d3e5fd7b5bbe65c0fde4db98be350 (diff) |
require boost library (but not the threading support---that's only necessary for portfolio)
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 29 |
1 files changed, 12 insertions, 17 deletions
diff --git a/configure.ac b/configure.ac index bd31b9824..15fb16d3f 100644 --- a/configure.ac +++ b/configure.ac @@ -862,25 +862,20 @@ AC_CHECK_HEADERS([getopt.h unistd.h]) AC_CHECK_DECLS([optreset], [], [], [#include <getopt.h>]) -# look for boost library, but don't make it a fatal error if not found -cvc4_has_threads=maybe +# require boost library +BOOST_REQUIRE() + +# look for boost threading library AC_ARG_WITH([portfolio], AS_HELP_STRING([--with-portfolio], [build the multithreaded portfolio version of CVC4 (pcvc4)])) -if test $cvc4_has_threads = maybe; then - cvc4_save_LDFLAGS="$LDFLAGS" - if test "$enable_static_binary" = yes; then - LDFLAGS="-static $LDFLAGS" - fi - BOOST_REQUIRE([], [cvc4_has_threads=no]) - if test $cvc4_has_threads = no; then - AC_MSG_WARN([disabling multithreaded support]) - else - cvc4_has_threads=yes - BOOST_THREADS([], [AC_MSG_WARN([disabling multithreaded support]) - cvc4_has_threads=no]) - fi - LDFLAGS="$cvc4_save_LDFLAGS" -fi +cvc4_save_LDFLAGS="$LDFLAGS" +if test "$enable_static_binary" = yes; then + LDFLAGS="-static $LDFLAGS" +fi +cvc4_has_threads=yes +BOOST_THREADS([], [AC_MSG_WARN([disabling multithreaded support]) + cvc4_has_threads=no]) +LDFLAGS="$cvc4_save_LDFLAGS" if test $cvc4_has_threads = no; then if test x$with_portfolio = xyes; then AC_MSG_ERROR([user gave --with-portfolio but could not build with threads; maybe boost threading library is missing?]) |