Disable liveness model-checking tests outside Linux.

It seems to fall in an infinite loop under FreeBSD for example.

[ci-skip]

diff --git a/examples/cpp/CMakeLists.txt b/examples/cpp/CMakeLists.txt
index 709bebe..eb3750d 100644 (file)
--- a/examples/cpp/CMakeLists.txt
+++ b/examples/cpp/CMakeLists.txt
@@ -57,8 +57,8 @@ if(SIMGRID_HAVE_STATEFUL_MC)
       ${CMAKE_HOME_DIRECTORY}/examples/cpp/synchro-mutex/s4u-mc-synchro-mutex-stateful.tesh)
 
   # Model-checking liveness
-  if(HAVE_UCONTEXT_CONTEXTS AND SIMGRID_PROCESSOR_x86_64)
-    # liveness model-checking works only on 64bits (for now ...)
+  if(HAVE_UCONTEXT_CONTEXTS AND SIMGRID_PROCESSOR_x86_64 AND "${CMAKE_SYSTEM}" MATCHES "Linux")
+    # liveness model-checking works only on 64bits (for now ...), but not under FreeBSD
     set(_mc-bugged1-liveness_factories "ucontext")
     add_dependencies(tests-mc s4u-mc-bugged1-liveness)
     set(_mc-bugged2-liveness_factories "ucontext")