summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2018-12-20 15:51:23 +0100
committerMichał Górny <mgorny@gentoo.org>2018-12-20 15:52:13 +0100
commit55aaa2e504687e64d4e0ddd305989d1540c0f5a8 (patch)
tree5f5ab04714ba3f0f62e30575f6399126a22d4fe8
parentsys-devel/clang: Old versions require old sci-math/z3 (diff)
downloadgentoo-55aaa2e504687e64d4e0ddd305989d1540c0f5a8.tar.gz
gentoo-55aaa2e504687e64d4e0ddd305989d1540c0f5a8.tar.bz2
gentoo-55aaa2e504687e64d4e0ddd305989d1540c0f5a8.zip
profiles/base: Unmask USE=z3 on clang-8+
Signed-off-by: Michał Górny <mgorny@gentoo.org>
-rw-r--r--profiles/base/package.use.mask2
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index eefc6e9eed2..82ac3f93ec4 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -187,7 +187,7 @@ app-emulation/libvirt openvz
# Michał Górny <mgorny@gentoo.org> (30 Jul 2017)
# The Z3 backend is unstable and causes assertion failures. Mask it
# until upstream fixes it properly.
-sys-devel/clang z3
+<sys-devel/clang-8 z3
# Mike Gilbert <floppym@gentoo.org> (09 Jul 2017)
# Matthias Dahl <matthias.dahl@binary-island.eu> (05 Jul 2017)