From 9d4db385399ba609f7aae040d0673393f19be7a2 Mon Sep 17 00:00:00 2001 From: Andrej730 Date: Tue, 21 Oct 2025 20:43:17 +0500 Subject: [PATCH] build-all.py - switch to gmp ftpmirror previous url is inaccessible --- nix/build-all.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nix/build-all.py b/nix/build-all.py index 028d2a70de..6a96a3ad74 100644 --- a/nix/build-all.py +++ b/nix/build-all.py @@ -1193,7 +1193,7 @@ if "cgal" in targets: [("build/config.h", "HAVE_OBSTACK_VPRINTF 1", "HAVE_OBSTACK_VPRINTF 0")] if "wasm" in flags else [] ), # Sometimes ftp.gnu.org is very slow, use ftpmirror.gnu.org as a workaround. - download_url="https://ftp.gnu.org/gnu/gmp/", + download_url="https://ftpmirror.gnu.org/gnu/gmp/", download_name=f"gmp-{GMP_VERSION}.tar.bz2", )