Merge

libsemigroups · Nov 8, 2023 · f40d0b7 · f40d0b7
1 parent 7cf15be
commit f40d0b7
Show file tree

Hide file tree

Showing 4 changed files with 755 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -57,6 +57,13 @@ if (NOT HPCOMBI_HAVE_REQUIRED_COMPILER_FLAGS)
   message(FATAL_ERROR "HPCombi requires a C++ compiler accepting the flags: -funroll-loops + -flax-vector-conversions")
 endif()
 
+# Code coverage stuff
+include(CheckCCompilerFlag)
+set(CMAKE_MODULE_PATH ${CMAKE_MODULE_PATH} ${CMAKE_SOURCE_DIR})
+include(CodeCoverage)
+# Code coverage stuff ends
+
+
 add_compile_options(-funroll-loops -flax-vector-conversions)
 
 file(READ ${CMAKE_SOURCE_DIR}/list_builtin.txt hpcombi_compiler_builtins)