projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: dcb73e7)
Disabled m4ri in cryptominisat cmake command
authorlianah <lianahady@gmail.com>
Thu, 26 May 2016 22:35:34 +0000 (18:35 -0400)
committerlianah <lianahady@gmail.com>
Thu, 26 May 2016 22:35:34 +0000 (18:35 -0400)
contrib/get-cryptominisat4 patch | blob | history

diff --git a/contrib/get-cryptominisat4 b/contrib/get-cryptominisat4
index a1a8cb786bb039c587520786acedd4de56af7b55..c96bbe03d046c2b935d3358ac68a3931d9e8cae5 100755 (executable)
--- 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 ../