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 (file)
--- 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
 ============