5 source "$(dirname "$0")/get-script-header.sh"
7 KISSAT_DIR
="${DEPS_DIR}/kissat"
8 version
="sc2020-039805f2"
10 # Download and build Kissat
12 "http://fmv.jku.at/kissat/kissat-$version.tar.xz" "$KISSAT_DIR"
15 .
/configure
-fPIC --quiet
17 install_lib build
/libkissat.a
18 install_includes src
/kissat.h kissat
21 echo "Using Kissat version $version"
23 echo ===================== Now configure CVC4 with
=====================
24 echo .
/configure.sh
--kissat