From d0d8efeeee0a4512cf18d640dc1b2abeed61a951 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Wed, 6 Mar 2024 17:38:09 +0100 Subject: [PATCH] use GMP by default --- CGAL_Core/include/CGAL/CORE/BigInt.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CGAL_Core/include/CGAL/CORE/BigInt.h b/CGAL_Core/include/CGAL/CORE/BigInt.h index fff3c91eef72..20e216cf5402 100644 --- a/CGAL_Core/include/CGAL/CORE/BigInt.h +++ b/CGAL_Core/include/CGAL/CORE/BigInt.h @@ -30,7 +30,7 @@ #include -#if !(BOOST_VERSION > 107900 && defined(CGAL_USE_BOOST_MP)) +#if !(defined(CGAL_CORE_USE_BOOST_BACKEND) && BOOST_VERSION > 107900 && defined(CGAL_USE_BOOST_MP)) #define CGAL_CORE_USE_GMP_BACKEND 1 #endif