[llvm] r371109 - document the LLVM_ENABLE_Z3_SOLVER option

[Sylvestre Ledru via llvm-commits]

Author: sylvestre
Date: Thu Sep  5 12:38:15 2019
New Revision: 371109

URL: http://llvm.org/viewvc/llvm-project?rev=371109&view=rev
Log:
document the LLVM_ENABLE_Z3_SOLVER option

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=371109&r1=371108&r2=371109&view=diff
==============================================================================
--- llvm/trunk/docs/CMake.rst (original)
+++ llvm/trunk/docs/CMake.rst Thu Sep  5 12:38:15 2019
@@ -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
 ============