From 565393e0eccc52e8bbb7fbab95cbf4f13f72907a Mon Sep 17 00:00:00 2001
From: Andrej730 <azhilenkov@gmail.com>
Date: Fri, 28 Aug 2026 17:48:03 +0500
Subject: [PATCH] build-all: use kernel as gmp mirror

As it seems more stable than the other ones.
---
 nix/build-all.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/nix/build-all.py b/nix/build-all.py
index 934eb5daae..d9a67bd99e 100644
--- a/nix/build-all.py
+++ b/nix/build-all.py
@@ -1533,8 +1533,10 @@ if "cgal" in targets:
         build_tool_args=[ENABLE_FLAG, DISABLE_FLAG, "--with-pic", *gmp_args],
         pre_compile_subs=([("build/config.h", "HAVE_OBSTACK_VPRINTF 1", "HAVE_OBSTACK_VPRINTF 0")] if WASM else []),
         patch=gmp_patches,
-        # Sometimes ftp.gnu.org is very slow, use ftpmirror.gnu.org as a workaround.
-        download_url="https://ftpmirror.gnu.org/gnu/gmp/",
+        # Alternative mirrors:
+        # - ftpmirror.gnu.org
+        # - ftp.gnu.org
+        download_url="https://mirrors.kernel.org/gnu/gmp/",
         download_name=f"gmp-{GMP_VERSION}.tar.bz2",
     )