projects
/
platform
/
upstream
/
llvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
37fcd3a
)
doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion
author
Sylvestre Ledru
<sylvestre@debian.org>
Thu, 5 Sep 2019 19:50:56 +0000
(19:50 +0000)
committer
Sylvestre Ledru
<sylvestre@debian.org>
Thu, 5 Sep 2019 19:50:56 +0000
(19:50 +0000)
llvm-svn: 371110
llvm/docs/CMake.rst
patch
|
blob
|
history
diff --git
a/llvm/docs/CMake.rst
b/llvm/docs/CMake.rst
index
f6dd7a1
..
9cc5f63
100644
(file)
--- 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
============