diff options
Diffstat (limited to 'contrib/get-gmp')
| -rwxr-xr-x | contrib/get-gmp | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/contrib/get-gmp b/contrib/get-gmp index aec125185..678103cf4 100755 --- a/contrib/get-gmp +++ b/contrib/get-gmp @@ -15,21 +15,21 @@ source "$(dirname "$0")/get-script-header.sh" [ -n "$HOST" ] && HOST="--host=$HOST" [ -z "$GMPVERSION" ] && GMPVERSION=6.1.2 +GMP_DIR="$DEPS_DIR/gmp-$GMPVERSION" + +check_dep_dir "$GMP_DIR" + echo ============================================================================= echo echo "Setting up GMP $GMPVERSION..." echo -( set -ex - mkdir gmp-$GMPVERSION - cd gmp-$GMPVERSION - gmpprefix=`pwd` && - mkdir src && - cd src && - webget https://gmplib.org/download/gmp/gmp-$GMPVERSION.tar.bz2 gmp-$GMPVERSION.tar.bz2 && - tar xfj gmp-$GMPVERSION.tar.bz2 && - cd gmp-$GMPVERSION && - ./configure ${HOST} --prefix="$gmpprefix" --enable-cxx ${BUILD_TYPE} && - make CFLAGS="${MAKE_CFLAGS}" CXXFLAGS="${MAKE_CXXFLAGS}" LDFLAGS="${MAKE_LDFLAGS}" && - make install -) || exit 1 +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} +make \ + CFLAGS="${MAKE_CFLAGS}" \ + CXXFLAGS="${MAKE_CXXFLAGS}" \ + LDFLAGS="${MAKE_LDFLAGS}" \ + -j$(nproc) +make install echo |