X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/20862fe41dadbc23c96c578e5a8595203b4bda81..41dc0d03d65ec6d89569d47d3a335d84b0ba927e:/buildtools/Cmake/Flags.cmake

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)