From d96de3f7d327fa93b2a17da67b1659587f24107b Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 27 Oct 2023 03:45:45 +0200 Subject: [PATCH] Fix non-Linux builds --- tools/cmake/Distrib.cmake | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake index 6a144b1ddf..50952960ff 100644 --- a/tools/cmake/Distrib.cmake +++ b/tools/cmake/Distrib.cmake @@ -43,7 +43,9 @@ add_custom_target(simgrid_convert_TI_traces ALL # libraries install(TARGETS simgrid DESTINATION ${CMAKE_INSTALL_LIBDIR}/) -install(TARGETS sthread DESTINATION ${CMAKE_INSTALL_LIBDIR}/) +if("${CMAKE_SYSTEM}" MATCHES "Linux") + install(TARGETS sthread DESTINATION ${CMAKE_INSTALL_LIBDIR}/) +endif() # pkg-config files configure_file("${CMAKE_HOME_DIRECTORY}/tools/pkg-config/simgrid.pc.in" -- 2.20.1