diff options
| author | Gleb Popov <6yearold@gmail.com> | 2022-02-28 14:39:48 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-04-28 14:44:06 -0700 |
| commit | 1a1b60e82f351baf5b72bf5d7cf740e34378f0bc (patch) | |
| tree | c0ded8c48ec9d370f48d95adfe6bd8009a93d7f2 /test | |
| parent | 33bac31837938c0fdc143022ae8498beb57510a8 (diff) | |
| download | klee-1a1b60e82f351baf5b72bf5d7cf740e34378f0bc.tar.gz | |
Make Uclibc support a runtime option, not a compile-time one.
Diffstat (limited to 'test')
| -rw-r--r-- | test/CMakeLists.txt | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index a62347c1..16d20e1c 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -28,10 +28,16 @@ if (${CMAKE_SYSTEM_NAME} MATCHES "Darwin") set(NATIVE_CXX "${NATIVE_CXX} -isysroot ${MAC_OS_SDK_PATH}") endif() +if (NOT KLEE_UCLIBC_PATH STREQUAL "") + set(SUPPORT_KLEE_UCLIBC 1) +else() + set(SUPPORT_KLEE_UCLIBC 0) +endif() + # FIXME: Do this to avoid changing the template file that # is shared by both build systems. if (ENABLE_POSIX_RUNTIME) - if (ENABLE_KLEE_UCLIBC) + if (NOT KLEE_UCLIBC_PATH STREQUAL "") set(ENABLE_POSIX_RUNTIME 1) else() message(AUTHOR_WARNING |