diff options
| author | Marek Chalupa <mchqwerty@gmail.com> | 2014-12-01 09:26:19 +0100 |
|---|---|---|
| committer | Marek Chalupa <mchqwerty@gmail.com> | 2014-12-01 10:07:32 +0100 |
| commit | 060c39c512aa6d06a01a9d52dbefa8ff45054b32 (patch) | |
| tree | 03c1d7e1799c094d8ecd09e6cd816e13c4a76f54 /Makefile.common | |
| parent | e72b75e019e9f7ccfb222f164f335fc99bb90126 (diff) | |
| download | klee-060c39c512aa6d06a01a9d52dbefa8ff45054b32.tar.gz | |
klee: let user override path to runtime library
When looking for runtime library, look first into KLEE_RUNTIME_LIBRARY_PATH environment variable. This allows to use klee not only in 'hardcoded' environment. Signed-off-by: Marek Chalupa <mchqwerty@gmail.com>
Diffstat (limited to 'Makefile.common')
0 files changed, 0 insertions, 0 deletions