From 6ad90ca38a7d16c50a9463e1321922a10a2f8231 Mon Sep 17 00:00:00 2001
From: idk <hankhill19580@gmail.com>
Date: Sun, 1 Jan 2023 22:05:00 +0000
Subject: [PATCH] Change the gmp mirror so that when you try to build a
jbigi.jar it does not fail. Can be changed back by editing
core/c/jbigi/download_gmp.sh
---
core/c/jbigi/download_gmp.sh | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/core/c/jbigi/download_gmp.sh b/core/c/jbigi/download_gmp.sh
index 1a8b38fb9f..9420bab5a6 100644
--- a/core/c/jbigi/download_gmp.sh
+++ b/core/c/jbigi/download_gmp.sh
@@ -13,11 +13,12 @@ export GMP_VER=6.2.1
export GMP_TARVER=${GMP_VER}
export GMP_DIR="gmp-$GMP_VER"
export GMP_TAR="gmp-$GMP_TARVER.tar.bz2"
-
+export GMP_TAR_MIRROR="https://ftp.gnu.org/gnu/gmp/" # This mirror works
+#export GMP_TAR_MIRROR="https://gmplib.org/download/gmp/" #This is the upstream, but they have an expired TLS certificate.
download_tar()
{
- GMP_TAR_URL="https://gmplib.org/download/gmp/${GMP_TAR}"
+ GMP_TAR_URL="${GMP_TAR_MIRROR}${GMP_TAR}"
if [ $(which wget) ]; then
echo "Downloading $GMP_TAR_URL"
wget -N --progress=dot $GMP_TAR_URL
--
GitLab