diff options
author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-05-29 13:17:17 +0200 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-05 17:01:15 +0100 |
commit | e9eaa77b9b5f9e2c9e3ebd8a4e5fad555fe77850 (patch) | |
tree | a56aa670a4274df67448728fe786800846f4eba7 | |
parent | 1a087c7d23127b28610f76f201ddd5b750aa0080 (diff) | |
download | klee-e9eaa77b9b5f9e2c9e3ebd8a4e5fad555fe77850.tar.gz |
CMake: remove unused TARGET_LIBS variable
It appears that this variable was never used, already when it was first set in 7e75b491d389c15d48a5cfc455ba9442d7c108ed.
-rw-r--r-- | CMakeLists.txt | 1 |
1 files changed, 0 insertions, 1 deletions
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() |