3 source "$(dirname "$0")/get-script-header.sh"
5 DRAT2ER_DIR
="$DEPS_DIR/drat2er"
6 commit
=521caf16149df3dfa46f700ec1fab56f8cc12a18
9 "https://github.com/alex-ozdemir/drat2er/archive/$commit.tar.gz" \
15 cmake ..
-DCMAKE_INSTALL_PREFIX="$INSTALL_DIR"
16 make install -j$
(nproc
)
19 echo ===================== Now configure CVC4 with
=====================
20 echo .
/configure.sh
--drat2er