From 9c5f3f97546c91da98391a9acd09b603597bcef6 Mon Sep 17 00:00:00 2001 From: Thomas Krijnen Date: Mon, 10 Nov 2025 09:51:38 +0100 Subject: [PATCH] Disable GMPXX in CGAL build #7330 --- nix/build-all.py | 1 + 1 file changed, 1 insertion(+) diff --git a/nix/build-all.py b/nix/build-all.py index 631f8edf81..2cb785883f 100644 --- a/nix/build-all.py +++ b/nix/build-all.py @@ -1237,6 +1237,7 @@ if "cgal" in targets: f"-DMPFR_INCLUDE_DIR={DEPS_DIR}/install/mpfr-{MPFR_VERSION}/include", f"-DBoost_INCLUDE_DIR={DEPS_DIR}/install/boost-{BOOST_VERSION}", f"-DCMAKE_INSTALL_PREFIX={DEPS_DIR}/install/cgal-{CGAL_VERSION}/", + f"-WITH_GMPXX=Off", f"-DCGAL_HEADER_ONLY=On", f"-DBUILD_SHARED_LIBS=Off", ],