From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Dec 2013 23:56:19 +0000 (-0500)
Subject: configure --with-portfolio disables CLN.
X-Git-Tag: cvc5-1.0.0~6987^2~28
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=aa1f9cc31014bfc916134e14a008fb5463348324;p=cvc5.git

configure --with-portfolio disables CLN.
---

diff --git a/configure.ac b/configure.ac
index 80174b299..48ba71670 100644
--- 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