document the LLVM_ENABLE_Z3_SOLVER option

llvm-svn: 371109

diff --git a/llvm/docs/CMake.rst b/llvm/docs/CMake.rst
index 2c54fde..f6dd7a1 100644 (file)
--- a/llvm/docs/CMake.rst
+++ b/llvm/docs/CMake.rst
@@ -615,6 +615,10 @@ LLVM-specific variables
 **LLVM_ENABLE_BINDINGS**:BOOL
   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.
+
 CMake Caches
 ============