From 6e6e7d51a14fd8bad80fd2a88b58751be55b534e Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Wed, 5 Jun 2019 15:44:25 +0100 Subject: [PATCH] cmake: addd SINGLE_THREADED option --- CMakeLists.txt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index fca5520ab..5c82c1c00 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -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 ################################################################################