blob: 7b513caef1e5d8bcab7920d34c287b574dd06536 (
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
set -e -o pipefail
source "$(dirname "$0")/get-script-header.sh"
KISSAT_DIR="${DEPS_DIR}/kissat"
version="sc2020-039805f2"
check_dep_dir "${KISSAT_DIR}"
# Download and build Kissat
setup_dep \
"http://fmv.jku.at/kissat/kissat-$version.tar.xz" "$KISSAT_DIR"
cd "${KISSAT_DIR}"
./configure -fPIC --quiet
make -j${NPROC}
install_lib build/libkissat.a
install_includes src/kissat.h kissat
echo
echo "Using Kissat version $version"
echo
echo ===================== Now configure CVC4 with =====================
echo ./configure.sh --kissat
|