From 0e8a6286cd39caf55c500bf51ecf8f1874cfb94b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Wed, 10 May 2023 17:31:45 +0200
Subject: [PATCH] do not use Boost exact nt backend by default

---
 .../internal/Exact_type_selector.h            | 28 +++++++++----------
 1 file changed, 13 insertions(+), 15 deletions(-)

diff --git a/Number_types/include/CGAL/Number_types/internal/Exact_type_selector.h b/Number_types/include/CGAL/Number_types/internal/Exact_type_selector.h
index 2a21341117e..129160b1010 100644
--- a/Number_types/include/CGAL/Number_types/internal/Exact_type_selector.h
+++ b/Number_types/include/CGAL/Number_types/internal/Exact_type_selector.h
@@ -142,23 +142,21 @@ struct Exact_NT_backend<MP_FLOAT_BACKEND>
 
 #ifndef CMAKE_OVERRIDDEN_DEFAULT_ENT_BACKEND
 constexpr ENT_backend_choice Default_exact_nt_backend =
-#if BOOST_VERSION > 107900 && defined(CGAL_USE_BOOST_MP)
-  BOOST_BACKEND;
-#else // BOOST_VERSION > 107900
-  #ifdef CGAL_USE_GMPXX
-    GMPXX_BACKEND;
-  #elif defined(CGAL_USE_GMP)
-    #if defined(CGAL_USE_BOOST_MP)
-      BOOST_GMP_BACKEND;
-    #else
-      GMP_BACKEND;
-    #endif
-  #elif defined(CGAL_USE_LEDA)
-    LEDA_BACKEND;
+#ifdef CGAL_USE_GMPXX
+  GMPXX_BACKEND;
+#elif defined(CGAL_USE_GMP)
+  #if defined(CGAL_USE_BOOST_MP)
+    BOOST_GMP_BACKEND;
   #else
-    MP_FLOAT_BACKEND;
+    GMP_BACKEND;
   #endif
-#endif // BOOST_VERSION > 107900
+#elif BOOST_VERSION > 107900 && defined(CGAL_USE_BOOST_MP)
+  BOOST_BACKEND;
+#elif defined(CGAL_USE_LEDA)
+  LEDA_BACKEND;
+#else
+  MP_FLOAT_BACKEND;
+#endif
 #else
 constexpr ENT_backend_choice Default_exact_nt_backend = static_cast<ENT_backend_choice>(CMAKE_OVERRIDDEN_DEFAULT_ENT_BACKEND);
 #endif