diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-02-23 21:48:46 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-17 22:38:16 +0000 |
| commit | 66e6504a99223fb305525f9ad7edb11a0026820d (patch) | |
| tree | e2fe0ddcff275604e21e0c284c2713af6dac39ac /include | |
| parent | 3ef5c9d0cd51babb7c4ec2d7bb76d0cb7e47a65c (diff) | |
| download | klee-66e6504a99223fb305525f9ad7edb11a0026820d.tar.gz | |
Use bitcode library paths via config generation instead of `-D` flags
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/config.h.cmin | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/klee/Config/config.h.cmin b/include/klee/Config/config.h.cmin index 24dc87e8..50ccf3fd 100644 --- a/include/klee/Config/config.h.cmin +++ b/include/klee/Config/config.h.cmin @@ -95,6 +95,12 @@ /* Configuration type of KLEE's runtime libraries */ #define RUNTIME_CONFIGURATION "@KLEE_RUNTIME_BUILD_TYPE@" +/* Configure name of KLEE's uClibc library */ +#cmakedefine KLEE_UCLIBC_BCA_NAME "@KLEE_UCLIBC_BCA_NAME@" + +/* Configure name of the libCXX bitcode library */ +#cmakedefine KLEE_LIBCXX_BC_NAME "@KLEE_LIBCXX_BC_NAME@" + /* FIXME: This is a stupid name. Also this is only used for figuring out where the runtime directory is in the build tree. Instead we should just define a macro for that. That would simplify the C++ code. */ |