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 /cmake | |
| 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.
Diffstat (limited to 'cmake')
0 files changed, 0 insertions, 0 deletions