diff options
| author | Damir Shaykhutdinov <lost404@gmail.com> | 2016-05-10 14:09:55 +0300 |
|---|---|---|
| committer | Damir Shaykhutdinov <lost404@gmail.com> | 2016-05-20 14:09:02 +0300 |
| commit | b5c41d2689c2b05987232a1e206e6a1ac46b8489 (patch) | |
| tree | 77a1b3e612a96a1f8a4da4763e92cf05e83f0609 /scripts/klee-control | |
| parent | 8fdfd4f7c7ff0368db5b16d48bf51ff38493b8a6 (diff) | |
| download | klee-b5c41d2689c2b05987232a1e206e6a1ac46b8489.tar.gz | |
Allow relocation of installed klee tree
If klee is configured with certain bindir and runtime dir, allow klee to be relocated, as long as subdirectory structure remains intact. For example, if klee is configured with bindir /usr/bin, and with runtime dir /usr/lib/klee, but is relocated to certain directory $RDIR, then running $RDIR/usr/bin/klee will search for runtime libraries in $RDIR/usr/lib/klee. Klee will use global runtime directory only when installed to global binary directory. Inspired by relocation code in gcc.
Diffstat (limited to 'scripts/klee-control')
0 files changed, 0 insertions, 0 deletions