From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 21 Feb 2012 23:02:23 +0000 (+0000)
Subject: add a "--with-portfolio" configure option that makes a missing boost-thread library... 
X-Git-Tag: cvc5-1.0.0~8315
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=17cb8457875dbe3a9eb79312a9b6d158070f7224;p=cvc5.git

add a "--with-portfolio" configure option that makes a missing boost-thread library an error; useful for builds requiring a "pcvc4" binary at the end
---

diff --git a/configure.ac b/configure.ac
index 4b079facf..53790a090 100644
--- a/configure.ac
+++ b/configure.ac
@@ -857,18 +857,27 @@ 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
-BOOST_REQUIRE([], [cvc4_has_threads=no])
-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
+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])
+if test $cvc4_has_threads = maybe; then
+  BOOST_REQUIRE([], [cvc4_has_threads=no])
+  if test $cvc4_has_threads = no; then
     AC_MSG_WARN([disabling multithreaded support])
-    cvc4_has_threads=no
+  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
   fi
 fi
+if test $cvc4_has_threads = no -a $cvc4_must_have_threads = yes; then
+  AC_MSG_ERROR([user gave --with-threads but could not build with threads; maybe boost threading library is missing?])
+fi
 
 # Whether to build compatibility library
 CVC4_BUILD_LIBCOMPAT=yes