diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-06-30 12:12:25 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-30 12:12:25 -0700 |
| commit | 770350a0e14d0e13d5f5b9050c60eb3a449575f3 (patch) | |
| tree | 9dff0e7ae681265310bb32bc04e0f6dc4df66a4c /contrib | |
| parent | f9e61ad68d6e5811c7471fa36061b50709ab2fa3 (diff) | |
Fix GMP compilation for win64. (#4675)
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/get-gmp-dev | 4 | ||||
| -rwxr-xr-x | contrib/get-win-dependencies | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/contrib/get-gmp-dev b/contrib/get-gmp-dev index c844db93c..ef2023d04 100755 --- a/contrib/get-gmp-dev +++ b/contrib/get-gmp-dev @@ -11,7 +11,7 @@ source "$(dirname "$0")/get-script-header.sh" -[ -z "${BUILD_TYPE}" ] && BUILD_TYPE="--disable-shared --enable-static" +[ -z "${BUILD_TYPE}" ] && BUILD_TYPE="--enable-shared --enable-static" [ -n "$HOST" ] && HOST="--host=$HOST" [ -z "$GMPVERSION" ] && GMPVERSION=6.2.0 @@ -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} --enable-shared --enable-static +./configure ${HOST} --prefix="$INSTALL_DIR" --enable-cxx ${BUILD_TYPE} make \ CFLAGS="${MAKE_CFLAGS}" \ CXXFLAGS="${MAKE_CXXFLAGS}" \ diff --git a/contrib/get-win-dependencies b/contrib/get-win-dependencies index 02b1e4054..47acc7c08 100755 --- a/contrib/get-win-dependencies +++ b/contrib/get-win-dependencies @@ -38,7 +38,7 @@ if [ -z "$HOST" ]; then echo "WARNING:" fi -GMPVERSION=6.1.2 +GMPVERSION=6.2.0 BOOSTVERSION=1.55.0 BOOSTBASE=boost_1_55_0 |