diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-10-13 15:51:03 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-12-19 15:55:56 +0000 |
| commit | 9aa216c819ee2f97a5423efb2cd46e2176352e5a (patch) | |
| tree | 264c8fef037d21511763f120f25b4c9f06119481 /lib/Solver/CachingSolver.cpp | |
| parent | 0379144709c2bc47b6fc4bc42c5fe00a24d01a0d (diff) | |
| download | klee-9aa216c819ee2f97a5423efb2cd46e2176352e5a.tar.gz | |
cmake: copy klee-uclibc and klee-libcxx to expected locations
Before this change, we created a symlink to the given libraries in their
expected location and then installed the original library. This was
problematic as the install directives are performed the order they are
encountered during the configure step and the installation of directory
containing the symlink was processed after the installation of the original
library. Therefore, the original libraries were installed but were
subsequently overwritten by the symlinks that can become broken rather easily.
This commit changes the behaviour so that we create copy the libraries to the
expected location and install them together with the rest of the KLEE runtime
as was originally intended.
Diffstat (limited to 'lib/Solver/CachingSolver.cpp')
0 files changed, 0 insertions, 0 deletions