Enable supernovae only if all needed tools are installed.

[simgrid.git] / buildtools / Cmake / PrintArgs.cmake

diff --git a/buildtools/Cmake/PrintArgs.cmake b/buildtools/Cmake/PrintArgs.cmake
index c480be1..11cfe5a 100644 (file)
--- a/buildtools/Cmake/PrintArgs.cmake
+++ b/buildtools/Cmake/PrintArgs.cmake
@@ -188,9 +188,7 @@ endif(NOT APPLE AND NOT WIN32)
 message("      Compile Static :        ${enable_lib_static}")
 message("")
 message("      Maintainer mode:        ${enable_maintainer_mode}")
 message("      Compile Static :        ${enable_lib_static}")
 message("")
 message("      Maintainer mode:        ${enable_maintainer_mode}")

-if(NOT APPLE AND NOT WIN32)

 message("      Supernovae mode:        ${enable_supernovae}")
 message("      Supernovae mode:        ${enable_supernovae}")

-endif(NOT APPLE AND NOT WIN32)

 message("      Model checking :        ${enable_model-checking}")
 message("      Tracing mode   :        ${enable_tracing}")
 message("      Latency bound  :        ${enable_latency_bound_tracking}")
 message("      Model checking :        ${enable_model-checking}")
 message("      Tracing mode   :        ${enable_tracing}")
 message("      Latency bound  :        ${enable_latency_bound_tracking}")