diff options
| author | Sylvestre Ledru <sylvestre@debian.org> | 2019-09-05 19:38:15 +0000 |
|---|---|---|
| committer | Sylvestre Ledru <sylvestre@debian.org> | 2019-09-05 19:38:15 +0000 |
| commit | 37fcd3a33ec85c72b23bb469ce554f5c053bd3d1 (patch) | |
| tree | e2943d52c587a03fc8bc44bd91cc04e0be620e26 /llvm/docs | |
| parent | 071ce66729b15ca9c46c01bf8e3c6273d269ef49 (diff) | |
| download | bcm5719-llvm-37fcd3a33ec85c72b23bb469ce554f5c053bd3d1.tar.gz bcm5719-llvm-37fcd3a33ec85c72b23bb469ce554f5c053bd3d1.zip | |
document the LLVM_ENABLE_Z3_SOLVER option
llvm-svn: 371109
Diffstat (limited to 'llvm/docs')
| -rw-r--r-- | llvm/docs/CMake.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/docs/CMake.rst b/llvm/docs/CMake.rst index 2c54fde4393..f6dd7a12cd7 100644 --- a/llvm/docs/CMake.rst +++ b/llvm/docs/CMake.rst @@ -615,6 +615,10 @@ LLVM-specific variables **LLVM_ENABLE_BINDINGS**:BOOL 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. + CMake Caches ============ |
