X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d9347ab3e960f0f098338c88a79724dbcf4a58bb..a97741effca6587abf0e311f3522f363f63f3463:/buildtools/Cmake/Flags.cmake diff --git a/buildtools/Cmake/Flags.cmake b/buildtools/Cmake/Flags.cmake index 81828fd89b..2a2a96f31a 100644 --- a/buildtools/Cmake/Flags.cmake +++ b/buildtools/Cmake/Flags.cmake @@ -14,6 +14,13 @@ if(enable_compile_warnings) if(COMPILER_C_VERSION_MAJOR_MINOR STRGREATER "4.5") set(warnCFLAGS "${warnCFLAGS}-Wno-error=unused-but-set-variable ") endif() + if(CMAKE_C_COMPILER_ID STREQUAL "Clang") + string(REPLACE "-Wclobbered " "" warnCFLAGS "${warnCFLAGS}") + endif() + + set(CMAKE_Fortran_FLAGS "-Wall") # FIXME: Q&D hack + + set(CMAKE_JAVA_COMPILE_FLAGS "-Xlint") endif() if(enable_compile_optimizations) @@ -72,5 +79,5 @@ if(NOT $ENV{LDFLAGS} STREQUAL "") endif() if(enable_model-checking AND enable_compile_optimizations) - message(WARNING "Sorry for now GCC optimizations does not work with model checking.\nPlease turn off optimizations with command:\ncmake -Denable_compile_optimizations=off. ") + message(WARNING "Sorry for now GCC optimizations does not work with model checking.\nPlease turn off optimizations with command:\ncmake -Denable_compile_optimizations=off .") endif()