Big fat error message when trying to enable MC on not supported archs

The previous message was ways too easy to miss [no-ci].

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 7984a44..10e82d7 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -371,8 +371,7 @@ else()
 endif()
 
 if(enable_model-checking AND NOT "${CMAKE_SYSTEM}" MATCHES "Linux|FreeBSD")
-  message(WARNING "Support for model-checking has not been enabled on ${CMAKE_SYSTEM}: disabling it")
-  set(enable_model-checking FALSE)
+  message(FATAL_ERROR "Support for model-checking has not been enabled on ${CMAKE_SYSTEM}. Please use a Linux docker to use the model checker.")
 endif()
 
 if(enable_model-checking AND minimal-bindings)

diff --git a/examples/README.rst b/examples/README.rst
index a03eb65..eff074b 100644 (file)
--- a/examples/README.rst
+++ b/examples/README.rst
@@ -1198,6 +1198,8 @@ the first level is used.
       .. showfile:: examples/platforms/wifi.xml
          :language: xml
 
+
+
 ===============
 Plugin Examples
 ===============