summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2018-12-08 16:39:04 +0100
committerMichał Górny <mgorny@gentoo.org>2018-12-08 16:45:51 +0100
commit6538aa0d68509820186cc46dd7d18caa125d51d9 (patch)
tree0e7002be63ab189f32c0596b2d69c0b770cb23b1 /sys-devel
parentsys-apps/groff: s390/sh/m68k stable wrt bug #670751 (diff)
downloadgentoo-6538aa0d68509820186cc46dd7d18caa125d51d9.tar.gz
gentoo-6538aa0d68509820186cc46dd7d18caa125d51d9.tar.bz2
gentoo-6538aa0d68509820186cc46dd7d18caa125d51d9.zip
sys-devel/clang: 8.0+ requires z3-4.7.1
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sys-devel')
-rw-r--r--sys-devel/clang/clang-9999.ebuild2
1 files changed, 1 insertions, 1 deletions
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}"