Refresh or delete some options.

[simgrid.git] / buildtools / CPACK / src / CMakeFlags.txt

diff --git a/buildtools/CPACK/src/CMakeFlags.txt b/buildtools/CPACK/src/CMakeFlags.txt
index ed5dbec..ecb8bea 100644 (file)
--- a/buildtools/CPACK/src/CMakeFlags.txt
+++ b/buildtools/CPACK/src/CMakeFlags.txt
@@ -3,6 +3,11 @@ set(optCFLAGS "")
 
 set(CMAKE_C_FLAGS ${CMAKE_C_FLAGS}-g3)
 
+if(supernovae)
+       set(enable_compile_warnings true)
+       set(enable_compile_optimizations true)
+endif(supernovae)
+
 if(CMAKE_C_COMPILER MATCHES "/usr/bin/gcc")
 
        if(enable_compile_warnings)