contrib/get-drat2er

   1 #!/usr/bin/env bash
   2 #
   3 source "$(dirname "$0")/get-script-header.sh"
   4
   5 DRAT2ER_DIR="$DEPS_DIR/drat2er"
   6 commit=521caf16149df3dfa46f700ec1fab56f8cc12a18
   7
   8 setup_dep \
   9   "https://github.com/alex-ozdemir/drat2er/archive/$commit.tar.gz" \
  10   "$DRAT2ER_DIR"
  11 cd "$DRAT2ER_DIR"
  12
  13 mkdir build
  14 cd build
  15 cmake .. -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR"
  16 make install -j$(nproc)
  17
  18 echo
  19 echo ===================== Now configure CVC4 with =====================
  20 echo ./configure.sh --drat2er