diff options
author | lianah <lianahady@gmail.com> | 2016-05-26 18:35:34 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2016-05-26 18:35:34 -0400 |
commit | 5a97ae0820747af37f1cabce69e7649e88acb681 (patch) | |
tree | ecf0ba62c4be8383cf691887fbc604de4b971a13 /contrib | |
parent | dcb73e70575406db5ef94eb48a9ad5b2bdf7b31a (diff) |
Disabled m4ri in cryptominisat cmake command
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-cryptominisat4 | 2 |
1 files changed, 1 insertions, 1 deletions
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 ../ |