diff options
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 55f0ca94de..6971b4e9f0 100644 --- a/include/clang/Config/config.h.cmake +++ b/include/clang/Config/config.h.cmake @@ -38,6 +38,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} |