Merge pull request #1971 from autoantwort/check-boostmp

Check that INTEGER_CLASS=boostmp is not used with FLINT, ARB or MPFR
symengine · Aug 17, 2023 · 6da98cf · 6da98cf
2 parents e99496e + 1783118
commit 6da98cf
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -259,6 +259,12 @@ if (WITH_VIRTUAL_TYPEID)
     set(WITH_SYMENGINE_VIRTUAL_TYPEID True)
 endif()
 
+if (SYMENGINE_INTEGER_CLASS STREQUAL "BOOSTMP")
+    if (WITH_FLINT OR WITH_ARB OR WITH_MPFR)
+        message(FATAL_ERROR "INTEGER_CLASS=boostmp cannot be used with FLINT, ARB or MPFR")
+    endif()
+endif()
+
 # Parser
 set(WITH_GENERATE_PARSER no CACHE BOOL "Generate parser files")
 if (WITH_GENERATE_PARSER)