diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-15 22:47:14 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-21 23:22:46 +0000 |
| commit | 8d541d5e7613bd42be0714c2654138bcc3c2c6d4 (patch) | |
| tree | f1a5e9288ae86803be1a4a128193b8501c78f4a2 /runtime/Makefile | |
| parent | 492de06e578a76a8d6b8311dd7c1c1c440623072 (diff) | |
| download | klee-8d541d5e7613bd42be0714c2654138bcc3c2c6d4.tar.gz | |
The location of KLEE's runtime libraries (apart from klee-uclibc)
are now detected at runtime. This allows the correct location to be used when klee is invoked from the build directory or from its install location (i.e. make install)
Diffstat (limited to 'runtime/Makefile')
0 files changed, 0 insertions, 0 deletions