From 588fb874c95005f1d379073a750b88a6ba5ee89a Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 14 Oct 2021 08:50:36 -0700 Subject: 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 | 1 - 1 file changed, 1 deletion(-) 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) -- cgit v1.2.3