# Build the version number
set(SIMGRID_VERSION_MAJOR "3")
-set(SIMGRID_VERSION_MINOR "32")
+set(SIMGRID_VERSION_MINOR "34")
set(SIMGRID_VERSION_PATCH "1") # odd => git branch; even => stable release or released snapshot
if(${SIMGRID_VERSION_PATCH} EQUAL "0")
# configuration where it was saved as smpiff
unset(CMAKE_Fortran_COMPILER)
- SET(SMPI_FORTRAN 0)
+ SET(SMPI_FORTRAN OFF)
if(enable_fortran)
enable_language(Fortran OPTIONAL)
endif()
## Request debugging flags for Fortran too
set(CMAKE_Fortran_FLAGS "${CMAKE_Fortran_FLAGS} -g")
- set(SMPI_FORTRAN 1)
+ set(SMPI_FORTRAN ON)
endif(CMAKE_Fortran_COMPILER)
endif()
include(CheckLibraryExists)
include(CheckSymbolExists)
-set(HAVE_GRAPHVIZ 0)
+set(HAVE_GRAPHVIZ OFF)
if(minimal-bindings)
message(STATUS "Don't even look for graphviz, as we build minimal binding libraries.")
else()
include(FindGraphviz)
endif()
-set(SIMGRID_HAVE_NS3 0)
+set(SIMGRID_HAVE_NS3 OFF)
if(enable_ns3)
include(FindNS3)
if (SIMGRID_HAVE_NS3)
if (NOT NS3_VERSION EQUAL "3-dev" AND NS3_VERSION VERSION_LESS "3.28")
message(FATAL_ERROR "SimGrid needs ns-3 in version 3.28 or higher. Please upgrade or disable that cmake option.")
endif()
- set(SIMGRID_HAVE_NS3 1)
+ set(SIMGRID_HAVE_NS3 ON)
set(SIMGRID_DEP "${SIMGRID_DEP} ${NS3_LIBRARIES}")
else()
message(FATAL_ERROR "Cannot find ns-3. Please install it (apt-get install ns3 libns3-dev) or disable that cmake option")
endif()
### Check for Eigen library
-set(SIMGRID_HAVE_EIGEN3 0)
-find_package (Eigen3 3.3 CONFIG
- HINTS ${EIGEN3_HINT})
-if (Eigen3_FOUND)
- set(SIMGRID_HAVE_EIGEN3 1)
- message(STATUS "Found Eigen3: ${EIGEN3_INCLUDE_DIR}")
- include_directories(${EIGEN3_INCLUDE_DIR})
- if ("3.3.4" VERSION_EQUAL EIGEN3_VERSION_STRING AND CMAKE_COMPILER_IS_GNUCC)
- message(STATUS "Avoid build error of Eigen3 v3.3.4 using -Wno-error=int-in-bool-context")
- set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-error=int-in-bool-context")
+if ((NOT DEFINED EIGEN3_HINT) OR (NOT EIGEN3_HINT STRLESS_EQUAL "OFF"))
+ set(SIMGRID_HAVE_EIGEN3 OFF)
+ find_package (Eigen3 3.3 CONFIG
+ HINTS ${EIGEN3_HINT})
+ if (Eigen3_FOUND)
+ set(SIMGRID_HAVE_EIGEN3 ON)
+ message(STATUS "Found Eigen3: ${EIGEN3_INCLUDE_DIR}")
+ include_directories(${EIGEN3_INCLUDE_DIR})
+ if ("3.3.4" VERSION_EQUAL EIGEN3_VERSION_STRING AND CMAKE_COMPILER_IS_GNUCC)
+ message(STATUS "Avoid build error of Eigen3 v3.3.4 using -Wno-error=int-in-bool-context")
+ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-error=int-in-bool-context")
+ endif()
+ else()
+ message(STATUS "Disabling model BMF because Eigen3 was not found. If it's installed, use EIGEN3_HINT to hint cmake about the location of Eigen3Config.cmake")
endif()
+ mark_as_advanced(Eigen3_DIR)
else()
- message(STATUS "Disabling model BMF because Eigen3 was not found. If it's installed, use EIGEN3_HINT to hint cmake about the location of Eigen3Config.cmake")
+ message(STATUS "Disabling Eigen3 as requested by the user (EIGEN3_HINT is set to 'OFF')")
endif()
# Check for our JSON dependency
endif()
message(STATUS "Found nlohmann_json: ${NLOHMANN_JSON_INCLUDE_DIR}")
endif()
+mark_as_advanced(nlohmann_json_DIR)
-set(HAVE_PAPI 0)
+set(HAVE_PAPI OFF)
if(enable_smpi_papi)
include(FindPAPI)
if (NOT HAVE_PAPI)
message(FATAL_ERROR "Cannot find PAPI. Please install it (apt-get install papi-tools libpapi-dev) or disable PAPI bindings.")
endif()
endif()
+mark_as_advanced(PAPI_PREFIX)
# But we do need the core of Boost
# cmake before 3.13.1 does not know about stacktrace components. Fix it.
if(Boost_CONTEXT_FOUND)
message (STATUS " context: found. Activating Boost contexts.")
- set(HAVE_BOOST_CONTEXTS 1)
+ set(HAVE_BOOST_CONTEXTS ON)
else()
message (STATUS " context: MISSING. Install libboost-context-dev for this optional feature.")
- set(HAVE_BOOST_CONTEXTS 0)
+ set(HAVE_BOOST_CONTEXTS OFF)
endif()
endif()
else()
endif()
endif()
endif()
+mark_as_advanced(Boost_CONTEXT_LIBRARY_RELEASE)
+mark_as_advanced(Boost_INCLUDE_DIR)
+mark_as_advanced(Boost_STACKTRACE_ADDR2LINE_LIB)
+mark_as_advanced(Boost_STACKTRACE_BACKTRACE_LIB)
# Checks for header libraries functions.
CHECK_LIBRARY_EXISTS(rt clock_gettime "" HAVE_POSIX_GETTIME)
SET(SIMGRID_HAVE_MALLOCATOR 0)
endif()
-SET(SIMGRID_HAVE_MC 0)
-SET(SIMGRID_HAVE_STATEFUL_MC 0)
+SET(SIMGRID_HAVE_MC OFF)
+SET(SIMGRID_HAVE_STATEFUL_MC OFF)
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)
+ SET(SIMGRID_HAVE_MC ON)
else()
message(STATUS "libevent not found. Please install libevent-dev to enable the SimGrid model checker.")
endif()
+mark_as_advanced(LIBEVENT_LIBRARY)
+mark_as_advanced(LIBEVENT_THREADS_LIBRARY)
if(enable_model-checking)
include(FindLibunwind)
find_package(Libdw)
find_package(Libelf)
- if(HAVE_MMAP AND HAVE_LIBUNWIND AND Libdw_FOUND AND Libelf_FOUND)
- SET(SIMGRID_HAVE_STATEFUL_MC 1)
+ 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 ON)
SET(HAVE_MMALLOC 1)
SET(SIMGRID_DEP "${SIMGRID_DEP} ${LIBUNWIND_LIBRARIES} ${LIBELF_LIBRARIES} ${LIBDW_LIBRARIES}")
include_directories(${LIBDW_INCLUDE_DIR} ${LIBELF_INCLUDE_DIR})
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()
mark_as_advanced(PATH_LIBDW_H)
mark_as_advanced(PATH_LIBDW_LIB)
-if (SIMGRID_HAVE_MC AND enable_ns3)
+if (SIMGRID_HAVE_STATEFUL_MC AND enable_ns3)
message(WARNING "Activating both model-checking and ns-3 bindings is considered experimental.")
endif()
if(enable_smpi)
- SET(HAVE_SMPI 1)
- SET(HAVE_PRIVATIZATION 1)
+ SET(HAVE_SMPI ON)
+ SET(HAVE_PRIVATIZATION ON)
else()
- SET(HAVE_SMPI 0)
+ SET(HAVE_SMPI OFF)
endif()
#--------------------------------------------------------------------------------------------------
endif()
endif()
# If the test ran well, remove the test binary
-file(REMOVE test_stackgrowth)
+file(REMOVE ${CMAKE_BINARY_DIR}/test_stackgrowth)
#--------------------------------------------------------------------------------------------------
###############
add_custom_target(tests COMMENT "Recompiling the tests")
add_custom_target(tests-mc COMMENT "Recompiling the MC tests and tools.")
add_dependencies(tests tests-mc)
+add_custom_target(tests-ns3 COMMENT "Recompiling the ns3 tests and tools.")
+add_dependencies(tests tests-ns3)
+add_custom_target(examples COMMENT "Recompiling all examples")
+add_dependencies(examples tests)
### Build some Maintainer files
include(${CMAKE_HOME_DIRECTORY}/tools/cmake/MaintainerMode.cmake)
message(" PAPI support ..............: ${HAVE_PAPI}")
message(" Compile Boost.Context support: ${HAVE_BOOST_CONTEXTS}")
message("")
+message(" Model checking ..............: ${SIMGRID_HAVE_MC}")
+message(" Stateful model checking ...: ${SIMGRID_HAVE_STATEFUL_MC}")
+message(" MBI testsuite .............: ${enable_smpi_MBI_testsuite}")
+message("")
message(" Maintainer mode .............: ${enable_maintainer_mode}")
message(" Documentation ...............: ${enable_documentation}")
-message(" Stateless model checking ....: ${SIMGRID_HAVE_MC}")
-message(" Stateful model checking .....: ${SIMGRID_HAVE_STATEFUL_MC}")
message(" Graphviz mode ...............: ${HAVE_GRAPHVIZ}")
message(" Mallocators .................: ${enable_mallocators}")
message("")
-message(" Simgrid dependencies ........: ${SIMGRID_DEP}")
+message(" SimGrid dependencies ........: ${SIMGRID_DEP}")
message("")
execute_process(COMMAND ${CMAKE_COMMAND} -E make_directory ${PROJECT_BINARY_DIR}/Testing/Notes/)