diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/0150-build-static-deps.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/0150-build-static-deps.sh b/scripts/0150-build-static-deps.sh index d0a460f..cc68ecb 100755 --- a/scripts/0150-build-static-deps.sh +++ b/scripts/0150-build-static-deps.sh @@ -36,7 +36,10 @@ cd .. echo "Building static gmp..." tar xf /downloads/gmp-$GMP_VERSION.tar.xz cd gmp-$GMP_VERSION -./configure --prefix=$STATIC_DEPS_PREFIX --disable-shared --enable-static +## PATCH BEGIN +sed -i 's/void g(){}/void g(int,t1 const*,t1,t2,t1 const*,int){}/' configure +## PATCH END +./configure --prefix=$STATIC_DEPS_PREFIX --disable-shared --enable-static || cat config.log make -j$(nproc) && make install cd .. |