diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-10-14 08:50:36 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-14 15:50:36 +0000 |
| commit | 588fb874c95005f1d379073a750b88a6ba5ee89a (patch) | |
| tree | 6089d9ea723e2514137a83b9feff134c869a2423 | |
| parent | b17ee60bc45e030113bcfdf5cdf575b0f6f961f1 (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.
| -rw-r--r-- | src/CMakeLists.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 733186d16..31dccdbc6 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1402,7 +1402,6 @@ if(USE_GLPK) if(ENABLE_STATIC_LIBRARY) target_link_libraries(cvc5-static PUBLIC ${GLPK_LIBRARIES}) endif() - target_link_libraries(cvc5-obj PUBLIC ${GLPK_LIBRARIES}) endif() if(USE_POLY) add_dependencies(cvc5-obj Polyxx_SHARED) |