Switch to gmplib github mirror

This commit is contained in:
BtbN 2023-07-09 19:44:10 +02:00
parent a7ae13efb7
commit 7a5bf0c0bb

View file

@ -1,20 +1,16 @@
#!/bin/bash
SCRIPT_VERSION="6.2.1"
SCRIPT_SHA512="c99be0950a1d05a0297d65641dd35b75b74466f7bf03c9e8a99895a3b2f9a0856cd17887738fa51cf7499781b65c049769271cbcb77d057d2e9f1ec52e07dd84"
SCRIPT_URL="https://ftp.gnu.org/gnu/gmp/gmp-${SCRIPT_VERSION}.tar.xz"
SCRIPT_REPO="https://github.com/BtbN/gmplib.git"
SCRIPT_COMMIT="1d7f62515fc8f5109fabace9592d863417f17c37"
ffbuild_enabled() {
return 0
}
ffbuild_dockerdl() {
to_df "RUN retry-tool check-wget gmp.tar.xz \"$SCRIPT_URL\" \"$SCRIPT_SHA512\""
}
ffbuild_dockerbuild() {
tar xaf "$FFBUILD_DLDIR"/gmp.tar.xz
cd "gmp-$SCRIPT_VERSION"
cd "$FFBUILD_DLDIR/$SELF"
./.bootstrap
local myconf=(
--prefix="$FFBUILD_PREFIX"