Première version avec intflpl, validation(?) avec IParals.

codac-team · Jan 12, 2024 · f0de7ef · f0de7ef
1 parent e17547a
commit f0de7ef
Show file tree

Hide file tree

Showing 8 changed files with 652 additions and 504 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -108,6 +108,18 @@
   add_definitions(${EIGEN3_DEFINITIONS})
   include_directories(${EIGEN3_INCLUDE_DIRS})
 
+################################################################################
+# Looking for intflpl
+################################################################################
+
+  option(WITH_INTFLPL "Using intfpl (floating-point polyhedra)" OFF)
+
+if(WITH_INTFLPL)
+  find_package(intflpl REQUIRED)
+  message(STATUS "Found intflpl version ${INTFLPL_VERSION}")
+  include_directories(${INTFLPL_INCLUDE_DIRS})
+endif()
+
 
 ################################################################################
 # Looking for CAPD (if needed)