From 37fcd3a33ec85c72b23bb469ce554f5c053bd3d1 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Thu, 5 Sep 2019 19:38:15 +0000
Subject: [PATCH] document the LLVM_ENABLE_Z3_SOLVER option

llvm-svn: 371109
---
 llvm/docs/CMake.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/llvm/docs/CMake.rst b/llvm/docs/CMake.rst
index 2c54fde..f6dd7a1 100644
--- 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
 ============
 
-- 
2.7.4