From e0ac8cc906788b0a7256b504f16cd112c45a404c Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Thu, 5 Sep 2019 19:50:56 +0000 Subject: [PATCH] doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@371110 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/CMake.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/CMake.rst b/docs/CMake.rst index f6dd7a12cd7..9cc5f63bec9 100644 --- a/docs/CMake.rst +++ b/docs/CMake.rst @@ -616,8 +616,8 @@ LLVM-specific variables If disabled, do not try to build the OCaml and go bindings. **LLVM_ENABLE_Z3_SOLVER**:BOOL - If enabled, the Z3 constraint solver is activated. A recent version of the - z3 library needs to be available on the system. + If enabled, the Z3 constraint solver is activated for the Clang static analyzer. + A recent version of the z3 library needs to be available on the system. CMake Caches ============ -- 2.50.1