From 135fb1cf1420f691660b17363884ad6f46763306 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 24 Jun 2022 23:23:38 +0200
Subject: [PATCH] sthread does not exist on FreeBSD so don't break MC builds
 there

---
 tools/cmake/MakeLib.cmake | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tools/cmake/MakeLib.cmake b/tools/cmake/MakeLib.cmake
index f5d906cec3..fdd596b0a6 100644
--- a/tools/cmake/MakeLib.cmake
+++ b/tools/cmake/MakeLib.cmake
@@ -47,7 +47,9 @@ if(enable_model-checking)
   install(TARGETS simgrid-mc # install that binary without breaking the rpath on Mac
     RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}/)
   add_dependencies(tests-mc simgrid-mc)
-  add_dependencies(tests-mc sthread)
+  if("${CMAKE_SYSTEM}" MATCHES "Linux")
+    add_dependencies(tests-mc sthread)
+  endif()
 endif()
 
 # Compute the dependencies of SimGrid
-- 
2.20.1