projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b17ee60)
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)
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 patch | blob | history

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 733186d1619f6a8fb322f1578a5ccee79c2b3117..31dccdbc643363f326a514640c352cba83c1d1b8 100644 (file)
--- 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)