From: navarro Date: Fri, 15 Jun 2012 09:26:53 +0000 (+0200) Subject: Don not stop compilation but just put a warning X-Git-Tag: v3_8~585 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/cd7a96088ca0898c30721917825a0dd589107acb Don not stop compilation but just put a warning --- diff --git a/buildtools/Cmake/Flags.cmake b/buildtools/Cmake/Flags.cmake index a8cfb32a2c..e6d51d336f 100644 --- a/buildtools/Cmake/Flags.cmake +++ b/buildtools/Cmake/Flags.cmake @@ -72,5 +72,5 @@ if(NOT $ENV{LDFLAGS} STREQUAL "") endif(NOT $ENV{LDFLAGS} STREQUAL "") if(enable_model-checking AND enable_compile_optimizations) - message(FATAL_ERROR "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(enable_model-checking AND enable_compile_optimizations)