diff options
| -rw-r--r-- | llvm/docs/CMake.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/docs/CMake.rst b/llvm/docs/CMake.rst index f6dd7a12cd7..9cc5f63bec9 100644 --- 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 ============ |
