From: Gereon Kremer <nafur42@gmail.com>
Date: Thu, 14 Oct 2021 15:50:36 +0000 (-0700)
Subject: Fix GLPK linking (#7357)
X-Git-Tag: cvc5-1.0.0~1069
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=588fb874c95005f1d379073a750b88a6ba5ee89a;p=cvc5.git

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.
---

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)