From c6f0eb24815fa213e716412c814b4791a287a85b Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 23 Oct 2023 21:28:20 +0200
Subject: [PATCH] Do install sthread on user's disk

---
 tools/cmake/Distrib.cmake | 1 +
 tools/cmake/MakeLib.cmake | 1 +
 2 files changed, 2 insertions(+)

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 4f0c8c7d7e..6a144b1ddf 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -43,6 +43,7 @@ add_custom_target(simgrid_convert_TI_traces ALL
 
 # libraries
 install(TARGETS simgrid DESTINATION ${CMAKE_INSTALL_LIBDIR}/)
+install(TARGETS sthread DESTINATION ${CMAKE_INSTALL_LIBDIR}/)
 
 # pkg-config files
 configure_file("${CMAKE_HOME_DIRECTORY}/tools/pkg-config/simgrid.pc.in"
diff --git a/tools/cmake/MakeLib.cmake b/tools/cmake/MakeLib.cmake
index f41f3b70af..e0357bf6e4 100644
--- a/tools/cmake/MakeLib.cmake
+++ b/tools/cmake/MakeLib.cmake
@@ -29,6 +29,7 @@ add_dependencies(simgrid maintainer_files)
 
 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)
-- 
2.20.1