projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6931c8b) | patch
Fix CoCoA build for newer compilers (#6919)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 23 Jul 2021 20:47:16 +0000 (13:47 -0700)
committerGitHub <noreply@github.com>
Fri, 23 Jul 2021 20:47:16 +0000 (20:47 +0000)
commitdf4c8cbe704fce51623bc9540def9b8806af4fd9
tree8bfa5028d49ebd2c96fbcdf3d0833a3029f61257tree
parent6931c8b3d078e9f5386837955dde2d786fcb1547commit | diff
Fix CoCoA build for newer compilers (#6919)

Newer compilers, such as GCC 11, default to C++17. CoCoA does not
compile with C++17 and its check for the C++ version used by the
compiler does not take into account newer C++ versions. As a result,
building CoCoA using `--auto-download` fails with GCC 11. This commit
adds a patch that makes the test in CoCoA take into account compilers
that default to C++17 or newer.
cmake/FindCoCoA.cmake diff | blob | history
cmake/deps-utils/CoCoA-patch-0.99712.patch [new file with mode: 0644] blob