contrib/get-poly

   1 #!/usr/bin/env bash
   2 #
   3 source "$(dirname "$0")/get-script-header.sh"
   4
   5 POLY_DIR="$DEPS_DIR/poly"
   6 version="v0.1.8"
   7
   8 setup_dep \
   9   "https://github.com/SRI-CSL/libpoly/archive/master.tar.gz" "$POLY_DIR"
  10 # TODO(Gereon, #4706): Go back to fixed version with the next release
  11
  12 pwd
  13 cd "$POLY_DIR/build/"
  14
  15 CMAKEFLAGS="\
  16   -DCMAKE_BUILD_TYPE=Release \
  17   -DLIBPOLY_BUILD_PYTHON_API=OFF \
  18   -DLIBPOLY_BUILD_STATIC=ON \
  19   -DLIBPOLY_BUILD_STATIC_PIC=ON \
  20 "
  21
  22 echo "Installing to $INSTALL_DIR"
  23
  24 cmake -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR" $CMAKEFLAGS  ../ && make -j${NPROC} install
  25
  26 echo
  27 echo "Using poly version $version"
  28 echo
  29 echo ===================== Now configure CVC4 with =====================
  30 echo ./configure.sh --poly