From 4e281f70ca598f18a99088ae10386e4a4d4d1574 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Thu, 5 Sep 2019 19:50:56 +0000 Subject: doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion llvm-svn: 371110 --- llvm/docs/CMake.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'llvm/docs') 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 ============ -- cgit v1.2.3