RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-18 18:42:46 +02:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
llvm-svn: 371110
This commit is contained in:
Sylvestre Ledru 2019-09-05 19:50:56 +00:00
parent e6837b1644
commit b0c1aff472
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. If disabled, do not try to build the OCaml and go bindings.
**LLVM_ENABLE_Z3_SOLVER**:BOOL **LLVM_ENABLE_Z3_SOLVER**:BOOL
If enabled, the Z3 constraint solver is activated. A recent version of the If enabled, the Z3 constraint solver is activated for the Clang static analyzer.
z3 library needs to be available on the system. A recent version of the z3 library needs to be available on the system.
CMake Caches CMake Caches
============ ============