diff options
| author | Sylvestre Ledru <sylvestre@debian.org> | 2019-09-05 19:50:56 +0000 |
|---|---|---|
| committer | Sylvestre Ledru <sylvestre@debian.org> | 2019-09-05 19:50:56 +0000 |
| commit | 4e281f70ca598f18a99088ae10386e4a4d4d1574 (patch) | |
| tree | 5fe7b5c62ad45d39688c4248962c5c2f4b262661 | |
| parent | 37fcd3a33ec85c72b23bb469ce554f5c053bd3d1 (diff) | |
| download | bcm5719-llvm-4e281f70ca598f18a99088ae10386e4a4d4d1574.tar.gz bcm5719-llvm-4e281f70ca598f18a99088ae10386e4a4d4d1574.zip | |
doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion
llvm-svn: 371110
| -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 ============ |
