From 30a3618ebf4c4025cdd82b2de81b9435c31c1f7a Mon Sep 17 00:00:00 2001
From: FabianWolff <fabi.wolff@arcor.de>
Date: Sun, 7 Jun 2020 21:27:54 +0200
Subject: [PATCH] Fix build failure on riscv64 (#4506)

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

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1ae3bce9a..7cf4eec58 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -315,6 +315,7 @@ endif()
 ################################################################################
 # Threading support
 ################################################################################
+set(THREADS_PREFER_PTHREAD_FLAG TRUE)
 find_package(Threads)
 list(APPEND Z3_DEPENDENT_LIBS ${CMAKE_THREAD_LIBS_INIT})