Remove obsolete gcc check. (#6041)

This PR removes a cmake check for gcc 4.5.1. As this version is more than a decade old and would not work anyway, as it does not fully support C++11, not to mention C++17.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 060753864d68a389809756fee55b813231abfcdd..7cb4e6291bcc893522cfd9e26e456898af0c2f7f 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -349,24 +349,6 @@ endif()
 # allow calling ctest from the root build directory.
 enable_testing()
 
-#-----------------------------------------------------------------------------#
-# Check GCC version.
-#
-# GCC version 4.5.1 builds MiniSat incorrectly with -O2, which results in
-# incorrect answers.
-
-if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "GNU")
-  execute_process(
-    COMMAND ${CMAKE_CXX_COMPILER} -dumpversion
-    OUTPUT_VARIABLE GCC_VERSION
-    OUTPUT_STRIP_TRAILING_WHITESPACE)
-  if(GCC_VERSION VERSION_EQUAL "4.5.1")
-    message(FATAL_ERROR
-      "GCC 4.5.1's optimizer is known to build MiniSat incorrectly "
-      "(and by extension CVC4).")
-  endif()
-endif()
-
 #-----------------------------------------------------------------------------#
 # Check options, find packages and configure build.