-if(enable_model-checking)
- add_custom_target(tests-mc COMMENT "Recompiling the MC tests and tools.")
- add_dependencies(tests tests-mc)
+if("${CMAKE_SYSTEM}" MATCHES "Linux")
+ add_library(sthread SHARED ${STHREAD_SRC})
+ set_target_properties(sthread PROPERTIES VERSION ${libsimgrid_version})
+ set_property(TARGET sthread
+ APPEND PROPERTY INCLUDE_DIRECTORIES "${INTERNAL_INCLUDES}")
+ target_link_libraries(sthread simgrid)
+else()
+ set(EXTRA_DIST ${EXTRA_DIST} ${STHREAD_SRC})
+endif()