From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 1 Apr 2023 18:03:42 +0000 (+0200)
Subject: More logs around the configuration of the MC variants
X-Git-Tag: v3.34~225
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/0d9bf83b7a687d5f0a621985329d5cf40d0d36f8

More logs around the configuration of the MC variants
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 4acad42269..cf029cc93f 100644
--- 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()