SET(BUILDNAME "APPLE" CACHE INTERNAL "Buildname" FORCE)
else()
SET(BUILDNAME "UNIX" CACHE INTERNAL "Buildname" FORCE)
- if(WIN32)
- SET(BUILDNAME "WINDOWS" CACHE INTERNAL "Buildname" FORCE)
- endif()
endif()
if(NOT enable_memcheck)
SET(BUILDNAME "FULL_FLAGS" CACHE INTERNAL "Buildname" FORCE)
endif()
-if(SIMGRID_HAVE_MC)
+if(SIMGRID_HAVE_STATEFUL_MC)
SET(BUILDNAME "MODEL-CHECKING" CACHE INTERNAL "Buildname" FORCE)
endif()