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 88790e1..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")
 
@@ -13,6 +18,6 @@ if(CMAKE_C_COMPILER MATCHES "/usr/bin/gcc")
                set(optCFLAGS "-O3 -finline-functions -funroll-loops -fno-strict-aliasing ")
        endif(enable_compile_optimizations)
 
-set(CMAKE_C_FLAGS "${optCFLAGS}${warnCFLAGS}${CMAKE_C_FLAGS}")
+       set(CMAKE_C_FLAGS "${optCFLAGS}${warnCFLAGS}${CMAKE_C_FLAGS}")
 
-endif(CMAKE_C_COMPILER:FILEPATH MATCHES "/usr/bin/gcc")
+endif(CMAKE_C_COMPILER MATCHES "/usr/bin/gcc")