projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7179be0) | patch
Remove linking against RT (#7257)
authorGereon Kremer <nafur42@gmail.com>
Tue, 28 Sep 2021 23:20:24 +0000 (16:20 -0700)
committerGitHub <noreply@github.com>
Tue, 28 Sep 2021 23:20:24 +0000 (23:20 +0000)
commit612fc435338b689458b9c73d6aebf0476fee9af4
treebd4a81c0036360ce76c654379aa56bdf94a4f9e8tree
parent7179be03b049d3046140316c4c5987efbdbd09b8commit | diff
Remove linking against RT (#7257)

This PR removes long obsolete cmake code that is only required when using a pre-2013 glibc.
cmake/ConfigureCvc5.cmake diff | blob | history
src/CMakeLists.txt diff | blob | history