diff options
author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-02-09 00:46:12 +0000 |
---|---|---|
committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-02-09 00:46:12 +0000 |
commit | 7b7f1a3de9580d40d78b2e9e2d21f08adcab1362 (patch) | |
tree | 005918a5703ead59866db4e4f47c9eaacc235d8f /include/clang/Config/config.h.cmake | |
parent | e1200565f6a11929c952254b039606440231db46 (diff) |
This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.
and commit a1853e834c65751f92521f7481b15cf0365e796b.
They broke arm and aarch64
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@353590 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Config/config.h.cmake')
-rw-r--r-- | include/clang/Config/config.h.cmake | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/clang/Config/config.h.cmake b/include/clang/Config/config.h.cmake index a737d6afac..1d624450b9 100644 --- a/include/clang/Config/config.h.cmake +++ b/include/clang/Config/config.h.cmake @@ -54,6 +54,9 @@ /* Define if we have libxml2 */ #cmakedefine CLANG_HAVE_LIBXML ${CLANG_HAVE_LIBXML} +/* Define if we have z3 and want to build it */ +#cmakedefine CLANG_ANALYZER_WITH_Z3 ${CLANG_ANALYZER_WITH_Z3} + /* Define if we have sys/resource.h (rlimits) */ #cmakedefine CLANG_HAVE_RLIMITS ${CLANG_HAVE_RLIMITS} |