diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-14 08:38:32 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-14 08:38:32 -0700 |
commit | 3237c3ec11aec29eb366474766920a35d39b946a (patch) | |
tree | 6089d9ea723e2514137a83b9feff134c869a2423 | |
parent | b17ee60bc45e030113bcfdf5cdf575b0f6f961f1 (diff) |
Fix GLPK build on older CMake versionsfixGlpkBuild
PR #7329 did not update the linking of GLPK (i.e., not to link against
it from `cvc5-obj`). The required linking commands are already present,
so this simply removes the spurious linking command.
-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) |