From 1f2590541aa60f4b62b7c96659362ee4431d2d63 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 23 Feb 2012 22:02:45 +0000 Subject: [PATCH] pcvc4 only built if --with-portfolio given to the configure script (Clark-requested change) --- configure.ac | 20 +++++++++++++++----- src/main/Makefile.am | 2 +- 2 files changed, 16 insertions(+), 6 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 ]) # 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 diff --git a/src/main/Makefile.am b/src/main/Makefile.am index ae7764e32..e6aa6b423 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -13,7 +13,7 @@ libmain_a_SOURCES = \ main.h \ util.cpp -if CVC4_HAS_THREADS +if CVC4_BUILD_PCVC4 bin_PROGRAMS += pcvc4 pcvc4_SOURCES = \ main.cpp \ -- 2.30.2