contrib/get-kissat

   1 #!/usr/bin/env bash
   2
   3 set -e -o pipefail
   4
   5 source "$(dirname "$0")/get-script-header.sh"
   6
   7 KISSAT_DIR="${DEPS_DIR}/kissat"
   8 version="sc2020-039805f2"
   9
  10 # Download and build Kissat
  11 setup_dep \
  12   "http://fmv.jku.at/kissat/kissat-$version.tar.xz" "$KISSAT_DIR"
  13 cd "${KISSAT_DIR}"
  14
  15 ./configure -fPIC --quiet
  16 make -j${NPROC}
  17 install_lib build/libkissat.a
  18 install_includes src/kissat.h kissat
  19
  20 echo
  21 echo "Using Kissat version $version"
  22 echo
  23 echo ===================== Now configure CVC4 with =====================
  24 echo ./configure.sh --kissat