From: Sylvestre Ledru Date: Thu, 5 Sep 2019 19:50:56 +0000 (+0000) Subject: doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion X-Git-Tag: llvmorg-11-init~9917 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=4e281f70ca598f18a99088ae10386e4a4d4d1574;p=platform%2Fupstream%2Fllvm.git doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion llvm-svn: 371110 --- diff --git a/llvm/docs/CMake.rst b/llvm/docs/CMake.rst index f6dd7a1..9cc5f63 100644 --- a/llvm/docs/CMake.rst +++ b/llvm/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 ============