diff options
author | fcambus <fcambus@pkgsrc.org> | 2022-06-11 13:45:44 +0000 |
---|---|---|
committer | fcambus <fcambus@pkgsrc.org> | 2022-06-11 13:45:44 +0000 |
commit | fd4ddf413906e2cbad6ad663520af17e8f40e24d (patch) | |
tree | 9f9cef4d58eca5e21f26e4d6a4524a72027d0637 /x11 | |
parent | c5098094884d45f6538c4c163e5d0b4afe2ab5b3 (diff) | |
download | pkgsrc-fd4ddf413906e2cbad6ad663520af17e8f40e24d.tar.gz |
clang: add a z3 option to allow building against the Z3 constraint solver.
When both lang/llvm and lang/clang are built with the z3 option enabled,
the Z3 constraint solver is activated for the Clang static analyzer.
This option is not enabled by default.
Diffstat (limited to 'x11')
0 files changed, 0 insertions, 0 deletions