From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 30 Jun 2020 07:24:07 +0000 (-0700)
Subject: contrib: Update to GMP 6.2.0, compile static and shared libraries. (#4671)
X-Git-Tag: cvc5-1.0.0~3164
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6303c25fc375f33b27398f9b8c4b70901785a5f1;p=cvc5.git

contrib: Update to GMP 6.2.0, compile static and shared libraries. (#4671)
---

diff --git a/contrib/get-gmp-dev b/contrib/get-gmp-dev
index f8a301a89..c844db93c 100755
--- a/contrib/get-gmp-dev
+++ b/contrib/get-gmp-dev
@@ -13,7 +13,7 @@ source "$(dirname "$0")/get-script-header.sh"
 
 [ -z "${BUILD_TYPE}" ] && BUILD_TYPE="--disable-shared --enable-static"
 [ -n "$HOST" ] && HOST="--host=$HOST"
-[ -z "$GMPVERSION" ] && GMPVERSION=6.1.2
+[ -z "$GMPVERSION" ] && GMPVERSION=6.2.0
 
 GMP_DIR="$DEPS_DIR/gmp-$GMPVERSION"
 
@@ -36,7 +36,7 @@ echo "Setting up GMP $GMPVERSION..."
 echo
 setup_dep "https://gmplib.org/download/gmp/gmp-$GMPVERSION.tar.bz2" "$GMP_DIR"
 cd "$GMP_DIR"
-./configure ${HOST} --prefix="$INSTALL_DIR" --enable-cxx ${BUILD_TYPE}
+./configure ${HOST} --prefix="$INSTALL_DIR" --enable-cxx ${BUILD_TYPE} --enable-shared --enable-static
 make \
   CFLAGS="${MAKE_CFLAGS}" \
   CXXFLAGS="${MAKE_CXXFLAGS}" \