projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b17ee60) | patch
Fix GLPK linking (#7357)
authorGereon Kremer <nafur42@gmail.com>
Thu, 14 Oct 2021 15:50:36 +0000 (08:50 -0700)
committerGitHub <noreply@github.com>
Thu, 14 Oct 2021 15:50:36 +0000 (15:50 +0000)
commit588fb874c95005f1d379073a750b88a6ba5ee89a
tree6089d9ea723e2514137a83b9feff134c869a2423tree
parentb17ee60bc45e030113bcfdf5cdf575b0f6f961f1commit | diff
Fix GLPK linking (#7357)

While #7341 added cmake-3.9 compatible linking for GLPK, it did not actually remove the line that triggers the error on older cmake versions. This commit does.
src/CMakeLists.txt diff | blob | history