SET(BUILDNAME "FULL_FLAGS" CACHE INTERNAL "Buildname" FORCE)
endif()
-if(HAVE_MC)
+if(SIMGRID_HAVE_MC)
SET(BUILDNAME "MODEL-CHECKING" CACHE INTERNAL "Buildname" FORCE)
endif()
set(PATTERN_CTEST_IGNORED "")
if(enable_coverage)
- set(PATTERN_CTEST_IGNORED
+ set(PATTERN_CTEST_IGNORED
"/tools/"
"/buildtools/"
"/include/"
"/src/bindings/"
)
if(NOT release)
- set(PATTERN_CTEST_IGNORED
+ set(PATTERN_CTEST_IGNORED
${PATTERN_CTEST_IGNORED}
"/examples/"
)