commit: d7bdbb9f2a0038c2dd25bd7d8be9350a9f109c2c Author: Michał Górny <mgorny <AT> gentoo <DOT> org> AuthorDate: Sun Jul 30 06:58:04 2017 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Sun Jul 30 07:14:11 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d7bdbb9f
profiles/base: Mask sys-devel/clang[z3] due to breakage profiles/base/package.use.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index a587362727a..550d8644ac2 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 <[email protected]> (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 <[email protected]> (26 Jul 2017) # Disable hesiod support due to security vulnerability, bug #626242. app-editors/emacs hesiod
