Refactor GMP and Poly dependencies (#6245)

Refactors GMP and libpoly to also use external projects and be available within cmake as proper targets.

2 files changed, 0 insertions, 91 deletions

diff --git a/contrib/get-gmp-dev b/contrib/get-gmp-dev
deleted file mode 100755
index 4baebc265..000000000
--- a/contrib/get-gmp-dev
+++ /dev/null
@@ -1,61 +0,0 @@
-#!/usr/bin/env bash
-#
-# This script should only be used if your distribution does not ship with the
-# GMP configuration you need. For example, for cross-compiling GMP for Windows
-# or Linux ARM platforms. You can also use the script if your
-# distribution does not ship with static GMP libraries (e.g., Arch Linux) and
-# you want to build CVC4 statically.
-# In most of the cases the GMP version installed on your system is the one you
-# want and should use.
-#
-
-source "$(dirname "$0")/get-script-header.sh"
-
-CONFIG=
-while :; do
-  case $1 in
-    --host=?*)
-      host=${1#*=}
-      CONFIG="--host=$host"
-      ;;
-    --host=)
-      echo "Error: empty --host="
-      exit 1
-      ;;
-    *)
-      break
-  esac
-  shift
-done
-
-[ -z "${BUILD_TYPE}" ] && BUILD_TYPE="--disable-shared --enable-static"
-[ -z "$GMPVERSION" ] && GMPVERSION=6.2.1
-
-GMP_DIR="$DEPS_DIR/gmp-$GMPVERSION"
-rm -rf "$GMP_DIR"
-
-echo =============================================================================
-echo
-echo "This script should only be used if your distribution does not ship with the"
-echo "GMP configuration you need. For example, for cross-compiling GMP for"
-echo "Windows or Linux ARM platforms. You can also use the script if your Linux"
-echo "distribution does not ship with static GMP libraries (e.g., Arch Linux)"
-echo "and you want to build CVC4 statically."
-echo
-echo "In most of the cases the GMP version installed on your system is the one you"
-echo "want and should use."
-echo
-echo =============================================================================
-echo
-echo "Setting up GMP $GMPVERSION..."
-echo
-setup_dep "https://gmplib.org/download/gmp/gmp-$GMPVERSION.tar.bz2" "$GMP_DIR"
-cd "$GMP_DIR"
-./configure ${CONFIG} --prefix="$INSTALL_DIR" --enable-cxx ${BUILD_TYPE}
-make \
-  CFLAGS="${MAKE_CFLAGS}" \
-  CXXFLAGS="${MAKE_CXXFLAGS}" \
-  LDFLAGS="${MAKE_LDFLAGS}" \
-  -j$(nproc)
-make install
-echo
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