diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-02-23 22:02:45 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-02-23 22:02:45 +0000 |
commit | 1f2590541aa60f4b62b7c96659362ee4431d2d63 (patch) | |
tree | f169efa835d48ddaaff79389fa2ed94608e92e54 /configure.ac | |
parent | 88e588fdf712dcfa7f1ca185ee6e7b15305ba84b (diff) |
pcvc4 only built if --with-portfolio given to the configure script (Clark-requested change)
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/configure.ac b/configure.ac index a31244c31..e8960111a 100644 --- a/configure.ac +++ b/configure.ac @@ -857,10 +857,8 @@ 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 -cvc4_must_have_threads=no AC_ARG_WITH([portfolio], - AS_HELP_STRING([--with-portfolio], [build the multithreaded portfolio version of CVC4 (pcvc4)]), - [if test "$withval" = no; then cvc4_has_threads=no; elif test "$withval" = yes; then cvc4_must_have_threads=yes; fi]) + 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 @@ -876,9 +874,16 @@ if test $cvc4_has_threads = maybe; then fi LDFLAGS="$cvc4_save_LDFLAGS" fi -if test $cvc4_has_threads = no -a $cvc4_must_have_threads = yes; then - AC_MSG_ERROR([user gave --with-portfolio but could not build with threads; maybe boost threading library is missing?]) +if test $cvc4_has_threads = no; then + if test $with_portfolio = yes; then + AC_MSG_ERROR([user gave --with-portfolio but could not build with threads; maybe boost threading library is missing?]) + fi + with_portfolio=no +fi +if test x$with_portfolio != xyes; then + with_portfolio=no fi +AM_CONDITIONAL([CVC4_BUILD_PCVC4], [test "$with_portfolio" = yes]) # Whether to build compatibility library CVC4_BUILD_LIBCOMPAT=yes @@ -1105,6 +1110,9 @@ normally suggest. For full details of CLN and its license, please visit To build CVC4 with GMP instead (which is covered under the more permissive LGPL), configure --without-cln. +" + if test $with_portfolio = yes; then + licensewarn="${licensewarn} WARNING * WARNING * WARNING * WARNING * WARNING * WARNING * WARNING * WARNING WARNING * WARNING * WARNING * WARNING * WARNING * WARNING * WARNING * WARNING @@ -1117,6 +1125,7 @@ WARNING * WARNING * WARNING * WARNING * WARNING * WARNING * WARNING * WARNING WARNING * WARNING * WARNING * WARNING * WARNING * WARNING * WARNING * WARNING " + fi else mplibrary='gmp (LGPL)' fi @@ -1161,6 +1170,7 @@ Bindings : ${CVC4_LANGUAGE_BINDINGS:-none} Multithreaded: $support_multithreaded TLS support : $CVC4_TLS_explanation +Portfolio : $with_portfolio MP library : $mplibrary |