CI: Use GitHub mirror to download GMP and MPFR

Author: oscarbenjamin

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 \