From c531152e6a707b66b885e508ea61e2a67e195ccc Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 22 May 2020 06:41:50 -0700
Subject: Add support for SAT solver Kissat. (#4514)

---
 contrib/get-kissat | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100755 contrib/get-kissat

(limited to 'contrib')

diff --git a/contrib/get-kissat b/contrib/get-kissat
new file mode 100755
index 000000000..7b513caef
--- /dev/null
+++ b/contrib/get-kissat
@@ -0,0 +1,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
-- 
cgit v1.2.3