From 6345b052da724eb2e7c8517cba9c7287eeec219c Mon Sep 17 00:00:00 2001 From: Andrej730 Date: Thu, 16 Oct 2025 19:27:37 +0500 Subject: [PATCH] build-all.py - add a note about alternative gmp mirror --- nix/build-all.py | 1 + 1 file changed, 1 insertion(+) diff --git a/nix/build-all.py b/nix/build-all.py index ef4b51712a..7b837cb399 100644 --- a/nix/build-all.py +++ b/nix/build-all.py @@ -1189,6 +1189,7 @@ if "cgal" in targets: pre_compile_subs=( [("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_name=f"gmp-{GMP_VERSION}.tar.bz2", )