diff options
Diffstat (limited to 'contrib/get-poly')
-rwxr-xr-x | contrib/get-poly | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/contrib/get-poly b/contrib/get-poly deleted file mode 100755 index d2e0935b6..000000000 --- a/contrib/get-poly +++ /dev/null @@ -1,30 +0,0 @@ -#!/usr/bin/env bash -# -source "$(dirname "$0")/get-script-header.sh" - -POLY_DIR="$DEPS_DIR/poly" -version="v0.1.8" - -setup_dep \ - "https://github.com/SRI-CSL/libpoly/archive/master.tar.gz" "$POLY_DIR" -# TODO(Gereon, #4706): Go back to fixed version with the next release - -pwd -cd "$POLY_DIR/build/" - -CMAKEFLAGS="\ - -DCMAKE_BUILD_TYPE=Release \ - -DLIBPOLY_BUILD_PYTHON_API=OFF \ - -DLIBPOLY_BUILD_STATIC=ON \ - -DLIBPOLY_BUILD_STATIC_PIC=ON \ -" - -echo "Installing to $INSTALL_DIR" - -cmake -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR" $CMAKEFLAGS ../ && make -j${NPROC} install - -echo -echo "Using poly version $version" -echo -echo ===================== Now configure CVC4 with ===================== -echo ./configure.sh --poly |