diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2017-07-25 15:51:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-25 15:51:46 +0200 |
| commit | 3b4b79215b124cc7072e81bc79efdb76927e7100 (patch) | |
| tree | 57b5659661145d6987774d0a7ef4e66993aacc60 /cmake | |
| parent | 810f7ebd99a06c46d632b1289ef2a7a3335d48f4 (diff) | |
| parent | df899b02e279ed65dc94f55d4b671560f667497b (diff) | |
| download | klee-3b4b79215b124cc7072e81bc79efdb76927e7100.tar.gz | |
Merge pull request #726 from delcypher/cmake_fix_llvm_built_with_no_asserts
[CMake] Handle building against LLVM built without assertions
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/find_llvm.cmake | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/cmake/find_llvm.cmake b/cmake/find_llvm.cmake index 770fca84..49ca51d4 100644 --- a/cmake/find_llvm.cmake +++ b/cmake/find_llvm.cmake @@ -227,3 +227,16 @@ else() set(${OUTPUT_VAR} ${targets_to_return} PARENT_SCOPE) endfunction() endif() + +# Filter out `-DNEBUG` from LLVM_DEFINITIONS. The caller can use +# `LLVM_ENABLE_ASSERTIONS` to decide how to set their defines. +set(_new_llvm_definitions "") +foreach (llvm_define ${LLVM_DEFINITIONS}) + if ("${llvm_define}" STREQUAL "-DNDEBUG") + # Skip + else() + list(APPEND _new_llvm_definitions "${llvm_define}") + endif() +endforeach() +set(LLVM_DEFINITIONS "${_new_llvm_definitions}") +unset(_new_llvm_definitions) |