File 0001-Fix-linker-error-due-to-missing-lpthread.patch of Package dolfin

From 57a912acadb36229df6267a4d5207b994034944a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stefan=20Br=C3=BCns?= <stefan.bruens@rwth-aachen.de>
Date: Sat, 8 Feb 2020 22:53:38 +0100
Subject: [PATCH] Fix linker error due to missing -lpthread

Logger::monitor_memory_usage uses std::threads, which requires pthreads
(on Linux).
---
 dolfin/CMakeLists.txt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dolfin/CMakeLists.txt b/dolfin/CMakeLists.txt
index fe5420d..3c0fb53 100644
--- a/dolfin/CMakeLists.txt
+++ b/dolfin/CMakeLists.txt
@@ -101,6 +101,12 @@ foreach (BOOST_PACKAGE ${DOLFIN_BOOST_COMPONENTS_PRIVATE})
   target_link_libraries(dolfin PRIVATE "Boost::${BOOST_PACKAGE}")
 endforeach()
 
+#------------------------------------------------------------------------------
+# Threads library for Logger::monitor_memory_usage
+
+find_package (Threads)
+target_link_libraries (dolfin PRIVATE Threads::Threads)
+
 #------------------------------------------------------------------------------
 # Optional packages
 
-- 
2.25.0