From: Martin Quinson Date: Wed, 20 Jun 2012 20:05:26 +0000 (+0200) Subject: more informative documentation of cmake option, and kill dead cmake code X-Git-Tag: v3_8~541 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ca6155036ec9316082dc562a05ab86c2d6fcfb0b more informative documentation of cmake option, and kill dead cmake code --- diff --git a/buildtools/Cmake/Option.cmake b/buildtools/Cmake/Option.cmake index 0e4225fa8c..d8573b7815 100644 --- a/buildtools/Cmake/Option.cmake +++ b/buildtools/Cmake/Option.cmake @@ -27,18 +27,13 @@ option(enable_latency_bound_tracking "" off) option(enable_coverage "Enable coverage." off) option(enable_memcheck "Enable memcheck." off) 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 (may hinder the performance of simulation)" 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) option(enable_jedule "Jedule output of SimDAG." off) option(enable_debug "Turn this off to remove all debug messages at compile time (faster, but no debug activable)" on) option(enable_supernovae "Whether Supernovae mode (helping compiler optimization) is activated." off) option(enable_msg_deprecated "This option enable the use of msg deprecated functions" off) -#if(enable_supernovae AND enable_model-checking) -# set(enable_model-checking OFF CACHE TYPE INTERNAL FORCE) -# message("\n\nCannot enable supernovae mode and model-checking at the same time (yet)\n\n") -#endif(enable_supernovae AND enable_model-checking) - if(WIN32) option(enable_smpi "Whether the smpi library is compiled." off) else(WIN32)