if(enable_model-checking)
find_package(Libdw REQUIRED)
find_package(Libevent REQUIRED)
if(enable_model-checking)
find_package(Libdw REQUIRED)
find_package(Libevent REQUIRED)
if("${CMAKE_SYSTEM}" MATCHES "FreeBSD" AND enable_java)
message(WARNING "FreeBSD + Model-Checking + Java = too much for now. Disabling java")
set(enable_java FALSE)
endif()
else()
if("${CMAKE_SYSTEM}" MATCHES "FreeBSD" AND enable_java)
message(WARNING "FreeBSD + Model-Checking + Java = too much for now. Disabling java")
set(enable_java FALSE)
endif()
else()
message(" Compile NS-3 ................: yes (path: ${NS3_PATH})")
else()
message(" Compile NS-3 ................: NO (hint: ${NS3_HINT})")
message(" Compile NS-3 ................: yes (path: ${NS3_PATH})")
else()
message(" Compile NS-3 ................: NO (hint: ${NS3_HINT})")
message(" Compile Smpi ................: ${HAVE_SMPI}")
message(" Smpi fortran ..............: ${SMPI_FORTRAN}")
message(" MPICH3 testsuite ..........: ${enable_smpi_MPICH3_testsuite}")
message(" Compile Smpi ................: ${HAVE_SMPI}")
message(" Smpi fortran ..............: ${SMPI_FORTRAN}")
message(" MPICH3 testsuite ..........: ${enable_smpi_MPICH3_testsuite}")
message("")
message(" Maintainer mode .............: ${enable_maintainer_mode}")
message(" Documentation................: ${enable_documentation}")
message("")
message(" Maintainer mode .............: ${enable_maintainer_mode}")
message(" Documentation................: ${enable_documentation}")
-message(" Model checking ..............: ${HAVE_MC}")
-message(" Jedule mode ................: ${HAVE_JEDULE}")
+message(" Model checking ..............: ${SIMGRID_HAVE_MC}")
+message(" Jedule mode ................: ${SIMGRID_HAVE_JEDULE}")
message(" Graphviz mode ...............: ${HAVE_GRAPHVIZ}")
message(" Mallocators .................: ${enable_mallocators}")
message("")
message(" Graphviz mode ...............: ${HAVE_GRAPHVIZ}")
message(" Mallocators .................: ${enable_mallocators}")
message("")