From e9eaa77b9b5f9e2c9e3ebd8a4e5fad555fe77850 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@comsys.rwth-aachen.de>
Date: Mon, 29 May 2023 13:17:17 +0200
Subject: CMake: remove unused TARGET_LIBS variable

It appears that this variable was never used, already when it was first
set in 7e75b491d389c15d48a5cfc455ba9442d7c108ed.
---
 CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index e6daa815..f94b5d52 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -260,7 +260,6 @@ if (ENABLE_ZLIB)
   message(STATUS "Zlib support enabled")
   if (ZLIB_FOUND)
     set(HAVE_ZLIB_H 1) # For config.h
-    set(TARGET_LIBS ${TARGET_LIBS} z)
     list(APPEND KLEE_COMPONENT_EXTRA_LIBRARIES ${ZLIB_LIBRARIES})
     list(APPEND KLEE_COMPONENT_EXTRA_INCLUDE_DIRS ${ZLIB_INCLUDE_DIRS})
   else()
-- 
cgit 1.4.1