From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 9 Jun 2023 14:33:05 +0000 (+0200)
Subject: Disable liveness model-checking tests outside Linux.
X-Git-Tag: v3.34~37
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/327f2aa08dfff033bd663b53825d5d42b5228669

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 709bebe0f2..eb3750dd2b 100644
--- 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")