mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00
Code Activity

Try to fix the freebsd build by linking against the system's

Browse source 
threading library.
This commit is contained in:
Dan Liew 2016-03-03 19:30:18 +00:00
parent 786362a423
commit 017e9a2461
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
CMakeLists.txt
View file

@ -261,6 +261,12 @@ if ("${TARGET_ARCHITECTURE}" STREQUAL "x86_64")
unset(SSE_FLAGS)
endif()
################################################################################
# Threading support
################################################################################
find_package(Threads)
list(APPEND Z3_DEPENDENT_LIBS ${CMAKE_THREAD_LIBS_INIT})
################################################################################
# Compiler warnings
################################################################################