More logs around the configuration of the MC variants

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 4acad42..cf029cc 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -367,7 +367,7 @@ SET(HAVE_MMALLOC 0)
 
 find_package(Libevent)
 if(Libevent_FOUND)
-  message(STATUS "Found libevent. Stateless model-checking can be enabled.")
+  message(STATUS "Found libevent. The stateless model-checking can be enabled.")
   include_directories(${LIBEVENT_INCLUDE_DIR})
   set(SIMGRID_DEP "${SIMGRID_DEP} ${LIBEVENT_LIBRARIES}")
   SET(SIMGRID_HAVE_MC 1)
@@ -379,7 +379,8 @@ if(enable_model-checking)
   include(FindLibunwind)
   find_package(Libdw)
   find_package(Libelf)
-  if(HAVE_MMAP AND HAVE_LIBUNWIND AND Libdw_FOUND AND Libelf_FOUND)
+  if(HAVE_MMAP AND HAVE_LIBUNWIND AND Libdw_FOUND AND Libelf_FOUND AND Libevent_FOUND)
+    message(STATUS "All dependencies found. The stateful model-checking can be enabled.")
     SET(SIMGRID_HAVE_STATEFUL_MC 1)
     SET(HAVE_MMALLOC 1)
     SET(SIMGRID_DEP "${SIMGRID_DEP} ${LIBUNWIND_LIBRARIES} ${LIBELF_LIBRARIES} ${LIBDW_LIBRARIES}")
@@ -387,7 +388,7 @@ if(enable_model-checking)
     set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -gdwarf-4")
     set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -gdwarf-4")
   else()
-    message(STATUS "Please install libunwind-dev libdw-dev libelf-dev if you want to compile the SimGrid model checker.")
+    message(STATUS "Please install libunwind-dev libdw-dev libelf-dev libevent-dev to enable the stateful model checker.")
     set(HAVE_MMALLOC 0)
   endif()
 endif()