diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-12-06 06:48:04 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-06 08:48:04 -0600 |
commit | 008d6b51baec353f45324e1d9407d898866cf688 (patch) | |
tree | 136e5c1dcbfb32f1fed99b853b79c2f7ecc6b5d2 /contrib/get-gmp | |
parent | 46bae5d2a8b22867f917c6f644e46e29884049f9 (diff) |
contrib: Setup all dependencies in deps/ directory. (#3534)
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 |