From aa1f9cc31014bfc916134e14a008fb5463348324 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Dec 2013 18:56:19 -0500
Subject: [PATCH] configure --with-portfolio disables CLN.

---
 configure.ac | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

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
-- 
2.30.2