RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2024-11-23 19:59:48 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

doc update: explain that Z3 is only for clang SA - thanks to LebedevRI for the suggestion

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@371110 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Sylvestre Ledru 2019-09-05 19:50:56 +00:00
parent 2d58f85083
commit e0ac8cc906
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/CMake.rst
View File

@ -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
============