🩹 fine tune FindFLINT.cmake

Signed-off-by: burgholzer <burgholzer@me.com>
cda-tum · Jul 3, 2024 · 2e920a5 · 2e920a5
1 parent c615b13
commit 2e920a5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/cmake/FindFLINT.cmake b/cmake/FindFLINT.cmake
@@ -35,6 +35,12 @@ find_package_handle_standard_args(FLINT DEFAULT_MSG FLINT_LIBRARY FLINT_INCLUDE_
 if(FLINT_FOUND)
   add_library(flint UNKNOWN IMPORTED)
   set_target_properties(flint PROPERTIES IMPORTED_LOCATION ${FLINT_LIBRARY})
+
+  # Strip the trailing "flint" from the include directory
+  if("${FLINT_INCLUDE_DIR}" MATCHES "flint$")
+    get_filename_component(FLINT_INCLUDE_DIR ${FLINT_INCLUDE_DIR} DIRECTORY)
+  endif()
+
   target_include_directories(flint INTERFACE ${FLINT_INCLUDE_DIR})
   target_link_libraries(flint INTERFACE GMP::gmp GMP::gmpxx MPFR::mpfr)
 endif()
diff --git a/include/Utils.hpp b/include/Utils.hpp
@@ -6,9 +6,9 @@
 #include <algorithm>
 #include <cassert>
 #include <filesystem>
+#include <flint/nmod_matxx.h>
 #include <fstream>
 #include <iostream>
-#include <nmod_matxx.h>
 #include <ostream>
 #include <random>
 #include <set>