projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8144381) | patch
Remove obsolete gcc check. (#6041)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 3 Mar 2021 17:59:43 +0000 (18:59 +0100)
committerGitHub <noreply@github.com>
Wed, 3 Mar 2021 17:59:43 +0000 (17:59 +0000)
commit81cf94dc266f41d7fa10098154fcb233a20d9f43
treef892b420903e0d8b891654eff8dfd40256d452e0tree
parent8144381611d2c3dcdcf56bcd343690abe98f9d5ecommit | diff
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.
CMakeLists.txt diff | blob | history