From: lianah <lianahady@gmail.com>
Date: Thu, 26 May 2016 22:35:34 +0000 (-0400)
Subject: Disabled m4ri in cryptominisat cmake command
X-Git-Tag: cvc5-1.0.0~6049^2~30^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5a97ae0820747af37f1cabce69e7649e88acb681;p=cvc5.git

Disabled m4ri in cryptominisat cmake command
---

diff --git a/contrib/get-cryptominisat4 b/contrib/get-cryptominisat4
index a1a8cb786..c96bbe03d 100755
--- a/contrib/get-cryptominisat4
+++ b/contrib/get-cryptominisat4
@@ -47,7 +47,7 @@ patch -p0 < ../../contrib/cryptominisat-4.2.0.second.patch
 mkdir ../build
 cd ../build
 
-cmake -DCMAKE_INSTALL_PREFIX:PATH=$CRYPTOMINISAT_PATH/install -DSTATICCOMPILE="ON" ../cryptominisat-$version
+cmake -DCMAKE_INSTALL_PREFIX:PATH=$CRYPTOMINISAT_PATH/install -DSTATICCOMPILE="ON" -DNOM4RI="ON"  ../cryptominisat-$version
 make install -j2
 
 cd ../