From f19f9d1a7fcb909087499a703143e237a160fdd3 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Sat, 8 Dec 2018 16:40:28 +0100
Subject: [PATCH] profiles/base: Mask >=sys-devel/clang-8[z3] due to deps
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
 profiles/base/package.use.mask | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index 0bb2172a7ecd..96832a07b0af 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -7,6 +7,10 @@
 # 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> (08 Dec 2018)
+# Requires z3-4.7.1+ that's not packaged in Gentoo.
+>=sys-devel/clang-8 z3
+
 # Michał Górny <mgorny@gentoo.org> (01 Dec 2018)
 # Moved from use.mask to specific packages.
 # Andreas Sturmlechner <asturm@gentoo.org> (10 May 2018)
-- 
2.26.2