45 lines
796 B
Bash
Executable File
45 lines
796 B
Bash
Executable File
#!/bin/bash
|
|
|
|
SCRIPT_REPO="https://gmplib.org/repo/gmp/"
|
|
SCRIPT_HGREV="614a1cd8bb1d"
|
|
|
|
ffbuild_enabled() {
|
|
return 0
|
|
}
|
|
|
|
ffbuild_dockerbuild() {
|
|
retry-tool sh -c "rm -rf gmp && hg clone -r '$SCRIPT_HGREV' -u '$SCRIPT_HGREV' '$SCRIPT_REPO' gmp"
|
|
cd gmp
|
|
|
|
./.bootstrap
|
|
|
|
local myconf=(
|
|
--prefix="$FFBUILD_PREFIX"
|
|
--enable-maintainer-mode
|
|
--disable-shared
|
|
--enable-static
|
|
--with-pic
|
|
)
|
|
|
|
if [[ $TARGET == win* || $TARGET == linux* ]]; then
|
|
myconf+=(
|
|
--host="$FFBUILD_TOOLCHAIN"
|
|
)
|
|
else
|
|
echo "Unknown target"
|
|
return -1
|
|
fi
|
|
|
|
./configure "${myconf[@]}"
|
|
make -j$(nproc)
|
|
make install
|
|
}
|
|
|
|
ffbuild_configure() {
|
|
echo --enable-gmp
|
|
}
|
|
|
|
ffbuild_unconfigure() {
|
|
echo --disable-gmp
|
|
}
|