Use GMP mirror from GitHub in CI

Author: oscarbenjamin

bin/build_dependencies_unix.sh

@@ -48,6 +48,10 @@ do
       PATCH_GMP_ARM64=yes
       shift
     ;;
+    --use-gmp-github-mirror)
+      USE_GMP_GITHUB_MIRROR=yes
+      shift
+    ;;
   *)
     2>&1 echo "unrecognised argument:" $key
     exit 1
@@ -82,7 +86,14 @@ if [ $USE_GMP = "gmp" ]; then
   #                                                                         #
   # ----------------------------------------------------------------------- #
 
-  curl -O https://gmplib.org/download/gmp/gmp-$GMPVER.tar.xz
+  if [ $USE_GMP_GITHUB_MIRROR = "yes" ]; then
+    # Needed in GitHub Actions because it is blocked from gmplib.org
+    git clone https://github.com/oscarbenjamin/gmp_mirror.git
+    cp gmp_mirror/gmp-$GMPVER.tar.xz .
+  else
+    curl -O https://gmplib.org/download/gmp/gmp-$GMPVER.tar.xz
+  fi
+
   tar xf gmp-$GMPVER.tar.xz
   cd gmp-$GMPVER
 

bin/cibw_before_all_linux.sh

@@ -3,4 +3,5 @@
 yum install -y xz
 bin/build_dependencies_unix.sh\
   --gmp gmp\
-  --host x86_64-pc-linux-gnu
+  --host x86_64-pc-linux-gnu\
+  --use-gmp-github-mirror

bin/cibw_before_all_macosx_arm64.sh

@@ -6,4 +6,5 @@ export LDFLAGS=" -arch arm64"
 bin/build_dependencies_unix.sh\
   --gmp gmp\
   --host aarch64-apple-darwin\
-  --patch-gmp-arm64
+  --patch-gmp-arm64\
+  --use-gmp-github-mirror

bin/cibw_before_all_macosx_x86_64.sh

@@ -2,4 +2,5 @@
 
 bin/build_dependencies_unix.sh\
   --gmp gmp\
-  --host x86_64-apple-darwin
+  --host x86_64-apple-darwin\
+  --use-gmp-github-mirror

bin/cibw_before_all_windows.sh

@@ -17,4 +17,4 @@ cat setup.cfg
 pacman -S --noconfirm mingw-w64-x86_64-gcc m4 make mingw-w64-x86_64-tools-git
 
 # This takes ~30mins
-bin/build_dependencies_unix.sh
+bin/build_dependencies_unix.sh --use-gmp-github-mirror