Workaround a bug with Ubuntu 14.04

diff --git a/cmake/checks/check_01_cxx_features.cmake b/cmake/checks/check_01_cxx_features.cmake
index a21768720ec8f5e15955050d11823d7b9296926e..1bfd26258596984391a1f5bc8c8af2ede97fdb22 100644 (file)
--- a/cmake/checks/check_01_cxx_features.cmake
+++ b/cmake/checks/check_01_cxx_features.cmake
@@ -224,6 +224,12 @@ IF(NOT DEFINED DEAL_II_WITH_CXX11 OR DEAL_II_WITH_CXX11)
     #
     IF(DEAL_II_ALLOW_PLATFORM_INTROSPECTION)
       PUSH_CMAKE_REQUIRED("-pthread")
+      # 
+      # On Ubuntu 14.04, the code below won't run without the flag 
+      # -Wl,-no-as-needed. However, deal.II will work fine without 
+      # the flag.
+      #
+      PUSH_CMAKE_REQUIRED("-Wl,-no-as-needed")
       CHECK_CXX_SOURCE_RUNS(
         "
         #include <thread>