build-all.py - add a note about alternative gmp mirror

2026-08-10 01:41:57 +00:00 · 2025-10-16 19:27:37 +05:00
parent 061554d921
commit 6345b052da
1 changed files with 1 additions and 0 deletions
@@ -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",
    )