From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Wed, 3 Mar 2021 17:59:43 +0000 (+0100)
Subject: Remove obsolete gcc check. (#6041)
X-Git-Tag: cvc5-1.0.0~2162
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=81cf94dc266f41d7fa10098154fcb233a20d9f43;p=cvc5.git

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 060753864..7cb4e6291 100644
--- 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.