2020-09-04 14:36:56 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
2022-07-13 12:19:14 +00:00
|
|
|
SCRIPT_REPO="https://gmplib.org/repo/gmp/"
|
|
|
|
SCRIPT_HGREV="cc75cab76738"
|
2020-09-04 14:36:56 +00:00
|
|
|
|
|
|
|
ffbuild_enabled() {
|
|
|
|
return 0
|
|
|
|
}
|
|
|
|
|
|
|
|
ffbuild_dockerbuild() {
|
2022-07-13 12:19:14 +00:00
|
|
|
hg clone -r "$SCRIPT_HGREV" -u "$SCRIPT_HGREV" "$SCRIPT_REPO" gmp
|
|
|
|
cd gmp
|
2020-09-04 14:36:56 +00:00
|
|
|
|
2022-07-13 12:19:14 +00:00
|
|
|
./.bootstrap
|
2020-09-04 14:36:56 +00:00
|
|
|
|
|
|
|
local myconf=(
|
|
|
|
--prefix="$FFBUILD_PREFIX"
|
2022-07-13 12:19:14 +00:00
|
|
|
--enable-maintainer-mode
|
2020-09-04 14:36:56 +00:00
|
|
|
--disable-shared
|
|
|
|
--enable-static
|
2021-12-11 00:57:56 +00:00
|
|
|
--with-pic
|
2020-09-04 14:36:56 +00:00
|
|
|
)
|
|
|
|
|
2021-05-14 02:52:29 +00:00
|
|
|
if [[ $TARGET == win* || $TARGET == linux* ]]; then
|
2020-09-04 14:36:56 +00:00
|
|
|
myconf+=(
|
|
|
|
--host="$FFBUILD_TOOLCHAIN"
|
|
|
|
)
|
2021-05-14 02:52:29 +00:00
|
|
|
else
|
2020-09-04 14:36:56 +00:00
|
|
|
echo "Unknown target"
|
|
|
|
return -1
|
|
|
|
fi
|
|
|
|
|
2021-04-04 21:20:31 +00:00
|
|
|
./configure "${myconf[@]}"
|
|
|
|
make -j$(nproc)
|
|
|
|
make install
|
2020-09-04 14:36:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
ffbuild_configure() {
|
|
|
|
echo --enable-gmp
|
|
|
|
}
|
|
|
|
|
|
|
|
ffbuild_unconfigure() {
|
|
|
|
echo --disable-gmp
|
|
|
|
}
|