summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2017-04-06 14:47:20 +0200
committerMichał Górny <mgorny@gentoo.org>2017-04-06 14:48:02 +0200
commit958e93248a7304267883968e2fc8e58a14f07cdb (patch)
treeb5d5a62d9b1e739d5ec449066845e9dc82524ce0 /sys-devel/clang/metadata.xml
parentsys-devel/clang: Include prebuilt manpages for 4.0.0 w/ USE=-doc (diff)
downloadgentoo-958e93248a7304267883968e2fc8e58a14f07cdb.tar.gz
gentoo-958e93248a7304267883968e2fc8e58a14f07cdb.tar.bz2
gentoo-958e93248a7304267883968e2fc8e58a14f07cdb.zip
sys-devel/clang: Enable support for Z3 backend in -9999
Diffstat (limited to 'sys-devel/clang/metadata.xml')
-rw-r--r--sys-devel/clang/metadata.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/sys-devel/clang/metadata.xml b/sys-devel/clang/metadata.xml
index 38b8ec4ab6ab..03502538f638 100644
--- a/sys-devel/clang/metadata.xml
+++ b/sys-devel/clang/metadata.xml
@@ -31,5 +31,6 @@ Conformance with C/C++/ObjC and their variants</longdescription>
<flag name="default-libcxx">Use libc++ instead of libstdc++ as the default stdlib for clang</flag>
<flag name="multitarget">Build all host targets (default: host only)</flag>
<flag name="static-analyzer">Install the Clang static analyzer</flag>
+ <flag name="z3">Enable the static analyzer constraint manager backend using <pkg>sci-mathematics/z3</pkg></flag>
</use>
</pkgmetadata>