CMake: Remove a dysfunctional workaround

This does not work.

diff --git a/cmake/checks/check_02_system_features.cmake b/cmake/checks/check_02_system_features.cmake
index d846c8715a6a747cce0ebb77ce032d9f0361b33d..6082695e28f21a97e8ef093b585de737cf683774 100644 (file)
--- a/cmake/checks/check_02_system_features.cmake
+++ b/cmake/checks/check_02_system_features.cmake
@@ -106,51 +106,6 @@ ENDIF()
 ########################################################################
 
 
-IF( CMAKE_SYSTEM_NAME MATCHES "CYGWIN"
-    OR CMAKE_SYSTEM_NAME MATCHES "Windows" )
-  IF( CMAKE_CXX_COMPILER_ID MATCHES "GNU" AND
-      CMAKE_CXX_COMPILER_VERSION VERSION_LESS "4.8" )
-
-    #
-    # Print a warning if we have a gcc port that is older than gcc-4.8:
-    #
-
-    MESSAGE(WARNING "\n"
-      "GCC ports (Cygwin, MinGW-w64, or MinGW) older than version 4.8 are unsupported on Windows\n\n"
-      )
-
-  ELSE()
-
-    #
-    # Workaround for a compiler bug on Windows platforms with modern gcc:
-    #
-    # GCC seems to have a hard time with
-    #
-    #   next_free_pair_object and next_free_single_object
-    #
-    # defined in tria_objects.h. It might explode in one ot the following ways:
-    #  a) Internal compiler error
-    #  b) emition of a truncated external symbol
-    #  c) "template <...>::dimension could not be converted to 'int'"
-    #
-    # It seems to help to specify "-ggdb" also for optimized mode.
-    #
-    # TODO: Track down bug and fix properly (just kidding).
-    #
-    # Maier, 2013
-    #
-
-    ENABLE_IF_SUPPORTED(DEAL_II_CXX_FLAGS_RELEASE "-g")
-    ENABLE_IF_SUPPORTED(DEAL_II_LINKER_FLAGS_RELEASE "-g")
-    REPLACE_FLAG(DEAL_II_CXX_FLAGS_DEBUG "-Og" "-O1")
-    REPLACE_FLAG(DEAL_II_CXX_FLAGS_DEBUG "-O0" "-O1")
-    REPLACE_FLAG(DEAL_II_CXX_FLAGS_DEBUG "-ggdb" "-g")
-    REPLACE_FLAG(DEAL_II_LINKER_FALGS_DEBUG "-ggdb" "-g")
-
-  ENDIF()
-ENDIF()
-
-
 IF(CMAKE_SYSTEM_NAME MATCHES "Windows")
 
   #