From: Bruno Turcksin <bruno.turcksin@gmail.com>
Date: Mon, 22 Jun 2020 16:22:31 +0000 (+0000)
Subject: Fix CUDA build: make insertion_mutex mutable
X-Git-Tag: v9.3.0-rc1~1395^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a2793f06a5439afbb43c8b79703f632bfa7ed87a;p=dealii.git

Fix CUDA build: make insertion_mutex mutable

The constructor of std::shared_lock cannot take a const ref
---

diff --git a/include/deal.II/base/thread_local_storage.h b/include/deal.II/base/thread_local_storage.h
index cd40096a46..1bd0716b60 100644
--- a/include/deal.II/base/thread_local_storage.h
+++ b/include/deal.II/base/thread_local_storage.h
@@ -248,9 +248,9 @@ namespace Threads
      * (https://en.wikipedia.org/wiki/Readers%E2%80%93writer_lock).
      */
 #  ifdef DEAL_II_HAVE_CXX17
-    std::shared_mutex insertion_mutex;
+    mutable std::shared_mutex insertion_mutex;
 #  else
-    std::shared_timed_mutex insertion_mutex;
+    mutable std::shared_timed_mutex insertion_mutex;
 #  endif
 
     /**