From 0b24ee6a6cf20b94c426acc0749a184298dc87d7 Mon Sep 17 00:00:00 2001
From: Oscar Benjamin <oscar.j.benjamin@gmail.com>
Date: Sun, 2 Nov 2025 13:39:27 +0000
Subject: [PATCH] CI: Use GitHub mirror to download GMP and MPFR

---
 bin/pyodide_build_dependencies.sh | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/bin/pyodide_build_dependencies.sh b/bin/pyodide_build_dependencies.sh
index 21590b89..c33be79f 100755
--- a/bin/pyodide_build_dependencies.sh
+++ b/bin/pyodide_build_dependencies.sh
@@ -43,14 +43,21 @@ if [ -z "$WASM_LIBRARY_DIR" ]; then
   exit 1
 fi
 
+# Sets versions of GMP, MPFR and FLINT:
+
 source bin/build_variables.sh
 
+# Download mirrored copy of source distributions for GMP and MPFR
 
-# ---------------------------Build GMP ----------------------------------#
+git clone https://github.com/oscarbenjamin/gmp_mirror.git
+cp gmp_mirror/gmp-$GMPVER.tar.xz .
+cp gmp_mirror/mpfr-$MPFRVER.tar.gz .
+tar -xf gmp-$GMPVER.tar.xz
+tar -xf mpfr-$MPFRVER.tar.gz
 
 
-curl -L https://ftp.gnu.org/gnu/gmp/gmp-$GMPVER.tar.xz -o gmp-$GMPVER.tar.xz
-tar -xf gmp-$GMPVER.tar.xz
+# ---------------------------Build GMP ----------------------------------#
+
 
 cd gmp-$GMPVER
 
@@ -71,9 +78,6 @@ cd ..
 # ---------------------------Build MPFR ----------------------------------#
 
 
-curl -L https://ftp.gnu.org/gnu/mpfr/mpfr-$MPFRVER.tar.xz -o mpfr-$MPFRVER.tar.xz
-tar -xf mpfr-$MPFRVER.tar.xz
-
 cd mpfr-$MPFRVER
 
     emconfigure ./configure \