From 017e9a24617669a45bb4ec904414795582cce98b Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 3 Mar 2016 19:30:18 +0000
Subject: [PATCH] Try to fix the freebsd build by linking against the system's
 threading library.

---
 CMakeLists.txt | 6 ++++++
 1 file changed, 6 insertions(+)

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