From 96259f7f85cbfef81c59617ef0ae7feb83170cb1 Mon Sep 17 00:00:00 2001 From: Bas van Beek Date: Wed, 2 Aug 2023 17:40:41 +0200 Subject: [PATCH] MAINT: Update the GMP URL --- tools/install_gmp.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/install_gmp.py b/tools/install_gmp.py index f250c10..376e7a2 100644 --- a/tools/install_gmp.py +++ b/tools/install_gmp.py @@ -10,7 +10,7 @@ import dep_builder from dep_builder import TimeLogger, download_and_unpack, configure, read_config_log, build, parse_version -URL_TEMPLATE = "https://gmplib.org/download/gmp/gmp-{version}.tar.xz" +URL_TEMPLATE = "https://github.com/nlesc-nano/GMP/archive/refs/tags/v{version}.tar.gz" download_gmp = TimeLogger("Download and unpack GMP")(download_and_unpack) read_config_log_gmp = TimeLogger("Dumping GMP config log")(read_config_log)