projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6094c2e) | patch
Fix glpk, add antlr.so (#7341)
authorGereon Kremer <nafur42@gmail.com>
Tue, 12 Oct 2021 16:37:51 +0000 (09:37 -0700)
committerGitHub <noreply@github.com>
Tue, 12 Oct 2021 16:37:51 +0000 (16:37 +0000)
commit2cd8877eef8505c868057e4d9fa087542ed46eff
tree35847c295e991994fecdf171cf3511bd78db37b2tree
parent6094c2e2e43d2e6716f35689654d4915a6a1f4fccommit | diff
Fix glpk, add antlr.so (#7341)

This PR makes the cmake integration of GLPK compatible with cmake 3.9.
Also, it adds a missing BUILD_BYPRODUCT for antlr.
cmake/FindANTLR3.cmake diff | blob | history
src/CMakeLists.txt diff | blob | history