diff options
Diffstat (limited to 'contrib/get-cryptominisat')
-rwxr-xr-x | contrib/get-cryptominisat | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/contrib/get-cryptominisat b/contrib/get-cryptominisat deleted file mode 100755 index 655a76eae..000000000 --- a/contrib/get-cryptominisat +++ /dev/null @@ -1,27 +0,0 @@ -#!/usr/bin/env bash -# -source "$(dirname "$0")/get-script-header.sh" - -CMS_DIR="$DEPS_DIR/cryptominisat5" -version="5.8.0" - -setup_dep \ - "https://github.com/msoos/cryptominisat/archive/$version.tar.gz" \ - "$CMS_DIR" -cd "$CMS_DIR" - -mkdir build -cd build -cmake -DENABLE_PYTHON_INTERFACE=OFF \ - -DSTATICCOMPILE=ON \ - -DNOM4RI=ON \ - -DNOSQLITE=ON \ - -DONLY_SIMPLE=ON \ - -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR" \ - .. - -make install -j$(nproc) - -echo -echo ===================== Now configure CVC4 with ===================== -echo ./configure.sh --cryptominisat |