diff --git a/CMakeLists.txt b/CMakeLists.txt
index 331c7a17d..320c56642 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -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
 ################################################################################