summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@gmail.com>2026-03-18 09:46:54 +0100
committerFelix Morgner <felix.morgner@gmail.com>2026-03-18 09:46:54 +0100
commit19459a9b54a54403d3d40bc6d6d736367339c6dc (patch)
tree015ece81e60fe6c7a0c645142216191a5c7d3e3f /scripts
parenta077e34fdeea961f0fe01c1b2cf500846ac51f55 (diff)
downloadteachos-toolchain-19459a9b54a54403d3d40bc6d6d736367339c6dc.tar.xz
teachos-toolchain-19459a9b54a54403d3d40bc6d6d736367339c6dc.zip
chore: update dependencies
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/0150-build-static-deps.sh5
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 ..