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
 ################################################################################