X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0c13871d73e933c1847faf8debea7b7745a3ff44..12cd6f226a676a2dbd827724f0ed8264f5868ea8:/buildtools/Cmake/Flags.cmake diff --git a/buildtools/Cmake/Flags.cmake b/buildtools/Cmake/Flags.cmake index e8e8401f00..2a2a96f31a 100644 --- a/buildtools/Cmake/Flags.cmake +++ b/buildtools/Cmake/Flags.cmake @@ -19,6 +19,8 @@ if(enable_compile_warnings) endif() set(CMAKE_Fortran_FLAGS "-Wall") # FIXME: Q&D hack + + set(CMAKE_JAVA_COMPILE_FLAGS "-Xlint") endif() if(enable_compile_optimizations) @@ -77,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()