diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-05-29 13:28:44 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-05 17:01:15 +0100 |
| commit | e3c626b0c62c966fcfad5cff37393bf5ab428545 (patch) | |
| tree | 3e41af5563ae24efa45cfda8c862cecbfda19ef0 | |
| parent | e9eaa77b9b5f9e2c9e3ebd8a4e5fad555fe77850 (diff) | |
| download | klee-e3c626b0c62c966fcfad5cff37393bf5ab428545.tar.gz | |
CMake: remove obsolete KLEE_COMPONENT_EXTRA_LIBRARIES
This variable was previously used by `klee_add_component()`, which got removed as part of 3ef5c9d0cd51babb7c4ec2d7bb76d0cb7e47a65c.
| -rw-r--r-- | CMakeLists.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index f94b5d52..469f36a5 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 - list(APPEND KLEE_COMPONENT_EXTRA_LIBRARIES ${ZLIB_LIBRARIES}) list(APPEND KLEE_COMPONENT_EXTRA_INCLUDE_DIRS ${ZLIB_INCLUDE_DIRS}) else() message(FATAL_ERROR "ENABLE_ZLIB is true but zlib could not be found") @@ -296,7 +295,6 @@ if (ENABLE_TCMALLOC) message(FATAL_ERROR "Found \"${TCMALLOC_HEADER}\" but could not find library") endif() - list(APPEND KLEE_COMPONENT_EXTRA_LIBRARIES ${TCMALLOC_LIBRARIES}) list(APPEND KLEE_COMPONENT_EXTRA_INCLUDE_DIRS ${TCMALLOC_INCLUDE_DIR}) # TCMalloc's documentation says its safest to pass these flags when # building with gcc because gcc can optimize assuming its using its own @@ -633,7 +631,6 @@ set(KLEE_UTILS_DIR ${CMAKE_SOURCE_DIR}/utils) message(STATUS "KLEE_COMPONENT_EXTRA_INCLUDE_DIRS: '${KLEE_COMPONENT_EXTRA_INCLUDE_DIRS}'") message(STATUS "KLEE_COMPONENT_CXX_DEFINES: '${KLEE_COMPONENT_CXX_DEFINES}'") message(STATUS "KLEE_COMPONENT_CXX_FLAGS: '${KLEE_COMPONENT_CXX_FLAGS}'") -message(STATUS "KLEE_COMPONENT_EXTRA_LIBRARIES: '${KLEE_COMPONENT_EXTRA_LIBRARIES}'") message(STATUS "KLEE_SOLVER_LIBRARIES: '${KLEE_SOLVER_LIBRARIES}'") ################################################################################ |