mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 01:24:08 +00:00
cmake: addd SINGLE_THREADED option
This commit is contained in:
parent
cd3b807e2c
commit
6e6e7d51a1
|
@ -287,6 +287,20 @@ else()
|
|||
message(STATUS "Not using API_LOG_SYNC")
|
||||
endif()
|
||||
|
||||
################################################################################
|
||||
# Thread safe or not?
|
||||
################################################################################
|
||||
option(SINGLE_THREADED
|
||||
"Non-thread-safe build"
|
||||
OFF
|
||||
)
|
||||
if (SINGLE_THREADED)
|
||||
list(APPEND Z3_COMPONENT_CXX_DEFINES "-DSINGLE_THREAD")
|
||||
message(STATUS "Non-thread-safe build")
|
||||
else()
|
||||
message(STATUS "Thread-safe build")
|
||||
endif()
|
||||
|
||||
################################################################################
|
||||
# FP math
|
||||
################################################################################
|
||||
|
|
Loading…
Reference in a new issue