p96705831
/
z3
forked from openkylin/z3
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix build failure on riscv64 

Origin: vendor, https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=948109#75
Bug-Debian: https://bugs.debian.org/948109
Last-Update: 2020-01-10

Gbp-Pq: Name 03-pthread.patch
This commit is contained in:
Aurelien Jarno 2022-08-15 16:26:58 +08:00 committed by Lu zhiping
parent 19e9b59dde
commit 9ea1869bfb
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
CMakeLists.txt
View File

@ -314,6 +314,7 @@ endif()
################################################################################ ################################################################################
# Threading support # Threading support
################################################################################ ################################################################################
set(THREADS_PREFER_PTHREAD_FLAG TRUE)
find_package(Threads) find_package(Threads)
list(APPEND Z3_DEPENDENT_LIBS ${CMAKE_THREAD_LIBS_INIT}) list(APPEND Z3_DEPENDENT_LIBS ${CMAKE_THREAD_LIBS_INIT})