blob: 263939bcc312be739e186a84e740c697a15a0b63 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#!/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 \
-DONLY_SIMPLE=ON \
-DCMAKE_INSTALL_PREFIX="$INSTALL_DIR" \
..
make install -j$(nproc)
echo
echo ===================== Now configure CVC4 with =====================
echo ./configure.sh --cryptominisat
|