blob: f043658904004d51c5798f1af6321d3a57edffed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/usr/bin/env bash
#
source "$(dirname "$0")/get-script-header.sh"
DRAT2ER_DIR="$DEPS_DIR/drat2er"
commit=521caf16149df3dfa46f700ec1fab56f8cc12a18
check_dep_dir "$DRAT2ER_DIR"
setup_dep \
"https://github.com/alex-ozdemir/drat2er/archive/$commit.tar.gz" \
"$DRAT2ER_DIR"
cd "$DRAT2ER_DIR"
mkdir build
cd build
cmake .. -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR"
make install -j$(nproc)
echo
echo ===================== Now configure CVC4 with =====================
echo ./configure.sh --drat2er
|