Rename WITH_GMPXX to CGAL_WITH_GMPXX in build script #7330

This commit is contained in:
Thomas Krijnen
2025-11-10 10:33:48 +01:00
committed by GitHub
parent 77a7026d33
commit 31b5f88497
+1 -1
View File
@@ -1237,7 +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"-DWITH_GMPXX=Off",
f"-DCGAL_WITH_GMPXX=Off",
f"-DCGAL_HEADER_ONLY=On",
f"-DBUILD_SHARED_LIBS=Off",
],