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)
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}")
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()