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 2a67549..ecb8bea 100644 (file)
--- a/buildtools/CPACK/src/CMakeFlags.txt
+++ b/buildtools/CPACK/src/CMakeFlags.txt
@@ -1,7 +1,12 @@
 set(warnCFLAGS "")
 set(optCFLAGS "")
 
-set(CMAKE_C_FLAGS -g3)
+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")