From: Michał Górny <mgorny@gentoo.org>
Date: Sat, 8 Dec 2018 15:39:04 +0000 (+0100)
Subject: sys-devel/clang: 8.0+ requires z3-4.7.1
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=6538aa0d68509820186cc46dd7d18caa125d51d9;p=gentoo.git

sys-devel/clang: 8.0+ requires z3-4.7.1

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---

diff --git a/sys-devel/clang/clang-9999.ebuild b/sys-devel/clang/clang-9999.ebuild
index a30db408c52b..9e95b51eaf98 100644
--- a/sys-devel/clang/clang-9999.ebuild
+++ b/sys-devel/clang/clang-9999.ebuild
@@ -37,7 +37,7 @@ RDEPEND="
 	~sys-devel/llvm-${PV}:${SLOT}=[debug=,${LLVM_TARGET_USEDEPS// /,},${MULTILIB_USEDEP}]
 	static-analyzer? (
 		dev-lang/perl:*
-		z3? ( sci-mathematics/z3:0= )
+		z3? ( >=sci-mathematics/z3-4.7.1:0= )
 	)
 	xml? ( dev-libs/libxml2:2=[${MULTILIB_USEDEP}] )
 	${PYTHON_DEPS}"