From: Michał Górny <mgorny@gentoo.org>
Date: Sun, 30 Jul 2017 06:58:04 +0000 (+0200)
Subject: profiles/base: Mask sys-devel/clang[z3] due to breakage
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=d7bdbb9f2a0038c2dd25bd7d8be9350a9f109c2c;p=gentoo.git

profiles/base: Mask sys-devel/clang[z3] due to breakage
---

diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index a587362727a7..550d8644ac26 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -7,6 +7,11 @@
 # This file is only for generic masks. For arch-specific masks (i.e.
 # mask everywhere, unmask on arch/*) use arch/base.
 
+# 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
+
 # Ulrich Müller <ulm@gentoo.org> (26 Jul 2017)
 # Disable hesiod support due to security vulnerability, bug #626242.
 app-editors/emacs hesiod