1 files changed, 0 insertions, 24 deletions
diff --git a/contrib/get-kissat b/contrib/get-kissat
deleted file mode 100755
index 2e21bb69b..000000000
--- a/contrib/get-kissat
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/usr/bin/env bash
-
-set -e -o pipefail
-
-source "$(dirname "$0")/get-script-header.sh"
-
-KISSAT_DIR="${DEPS_DIR}/kissat"
-version="sc2020-039805f2"
-
-# 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