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/Support/FileHandling.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/Support/FileHandling.cpp')
0 files changed, 0 insertions, 0 deletions