summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2019-07-22 12:21:07 +0200
committerMichał Górny <mgorny@gentoo.org>2019-07-22 12:42:14 +0200
commite0c37990b91903cbccdd3a1eeba265c910c99cc4 (patch)
treee9ce8989ae82843d099d7bc4236c381fd5eec6cc /sys-devel/llvm/metadata.xml
parentdev-util/lldb: readline extension removal is unneeded in 9.* too (diff)
downloadgentoo-e0c37990b91903cbccdd3a1eeba265c910c99cc4.tar.gz
gentoo-e0c37990b91903cbccdd3a1eeba265c910c99cc4.tar.bz2
gentoo-e0c37990b91903cbccdd3a1eeba265c910c99cc4.zip
sys-devel/llvm: 9.0.0+ introduce Z3 support (moved from clang)
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sys-devel/llvm/metadata.xml')
-rw-r--r--sys-devel/llvm/metadata.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/sys-devel/llvm/metadata.xml b/sys-devel/llvm/metadata.xml
index d0737020549..1f534c1999e 100644
--- a/sys-devel/llvm/metadata.xml
+++ b/sys-devel/llvm/metadata.xml
@@ -17,5 +17,6 @@
<flag name="ncurses">Support querying terminal properties using ncurses' terminfo</flag>
<flag name="xar">Support dumping LLVM bitcode sections in Mach-O files
(uses <pkg>app-arch/xar</pkg>)</flag>
+ <flag name="z3">Enable support for <pkg>sci-mathematics/z3</pkg> constraint solver</flag>
</use>
</pkgmetadata>