if(NOT CMAKE_INSTALL_PREFIX)
set(CMAKE_INSTALL_PREFIX "/usr/local/simgrid/" CACHE PATH "Path where to install project")
-else(NOT CMAKE_INSTALL_PREFIX)
+else()
set(CMAKE_INSTALL_PREFIX ${CMAKE_INSTALL_PREFIX} CACHE PATH "Path where to install project")
-endif(NOT CMAKE_INSTALL_PREFIX)
+endif()
set(pipol_user ${pipol_user} CACHE TYPE INTERNAL FORCE)
option(enable_latency_bound_tracking "" off)
option(enable_coverage "Enable coverage." off)
option(enable_memcheck "Enable memcheck." off)
+option(enable_mallocators "Enable mallocators (for debugging purpose)." on)
option(enable_print_message "Enable print message during config." off)
option(enable_model-checking "Turn this on to experiment with our prototype of model-checker (hinders the simulation's performance even if turned of at runtime)" off)
option(enable_lib_static "" off)
if(WIN32)
option(enable_smpi "Whether the smpi library is compiled." off)
-else(WIN32)
+else()
option(enable_smpi "Whether the smpi library is compiled." on)
-endif(WIN32)
+endif()
mark_as_advanced(HAVE_SSH)
mark_as_advanced(HAVE_RSYNC)