From 3d19575f454419395f612155c3ecf762b416e76b Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Sat, 14 Jan 2023 11:19:07 +0100 Subject: [PATCH] The right mode is FATAL_ERROR. --- CMakeLists.txt | 2 +- tools/cmake/Option.cmake | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index a57c58c4ca..e6b59daab2 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -11,7 +11,7 @@ else() endif() if(WIN32 OR MINGW) - message(FATAL "SimGrid does not build on native windows, nor with MinGW. Please use WSL2 instead.") + message(FATAL_ERROR "SimGrid does not build on native windows, nor with MinGW. Please use WSL2 instead.") endif() message(STATUS "Configuring SimGrid v${release_version}") diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake index cea129115a..0ff2fcca26 100644 --- a/tools/cmake/Option.cmake +++ b/tools/cmake/Option.cmake @@ -26,13 +26,13 @@ option(enable_ns3 "Whether ns-3 model is activated." off) option(enable_msg "Java was removed from SimGrid v3.33. Please do not enable it here." off) mark_as_advanced(enable_msg) if (enable_msg) - message(FATAL "MSG was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.") + message(FATAL_ERROR "MSG was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.") endif() option(enable_java "Java was removed from SimGrid v3.33. Please do not enable it here." off) mark_as_advanced(enable_java) if (enable_java) - message(FATAL "Java was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.") + message(FATAL_ERROR "Java was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.") endif() option(minimal-bindings "Whether to compile the Python bindings libraries with the minimal dependency set" off) -- 2.20.1