[llvm] r371110 - doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion

[Sylvestre Ledru via llvm-commits]

Author: sylvestre
Date: Thu Sep  5 12:50:56 2019
New Revision: 371110

URL: http://llvm.org/viewvc/llvm-project?rev=371110&view=rev
Log:
doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion

Modified:
    llvm/trunk/docs/CMake.rst

Modified: llvm/trunk/docs/CMake.rst
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/CMake.rst?rev=371110&r1=371109&r2=371110&view=diff
==============================================================================
--- llvm/trunk/docs/CMake.rst (original)
+++ llvm/trunk/docs/CMake.rst Thu Sep  5 12:50:56 2019
@@ -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
 ============