projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ddbf09) | patch
Revert #7257 (#7337)
authorGereon Kremer <nafur42@gmail.com>
Mon, 11 Oct 2021 17:48:09 +0000 (10:48 -0700)
committerGitHub <noreply@github.com>
Mon, 11 Oct 2021 17:48:09 +0000 (17:48 +0000)
commit4b7781d90ead61d9478aabd6a4c229a114483679
tree4de89ebc81a28d8ce56ffda2f99ccf606dbd983atree
parent0ddbf090c7f7f33ce724df456daecf84d807e793commit | diff
Revert #7257 (#7337)

This PR reverts #7257 and restores compatibility with ancient glibc versions.
cmake/ConfigureCvc5.cmake diff | blob | history
src/CMakeLists.txt diff | blob | history