configure --with-portfolio disables CLN.

diff --git a/configure.ac b/configure.ac
index 80174b2995464d4d1f732586150fc753c3657753..48ba71670cdc296ef125d767e91220f091ca1bd8 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -283,9 +283,11 @@ fi
 # versions of CVC4
 AC_CHECK_LIB(gmp, __gmpz_init, , [AC_MSG_ERROR([GNU MP (libgmp) not found, see http://gmplib.org/])])
 
-if test $cvc4_use_cln = 2 -a -n "$CVC4_BSD_LICENSED_CODE_ONLY"; then
-  cvc4_use_cln=0
-  cvc4_use_gmp=1
+if test $cvc4_use_cln = 2; then
+  if test -n "$CVC4_BSD_LICENSED_CODE_ONLY" -o "$with_portfolio" = yes; then
+    cvc4_use_cln=0
+    cvc4_use_gmp=1
+  fi
 fi
 
 if test $cvc4_use_cln != 0; then