From 3237c3ec11aec29eb366474766920a35d39b946a Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 14 Oct 2021 08:38:32 -0700
Subject: Fix GLPK build on older CMake versions

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.
---
 src/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/CMakeLists.txt')

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