| 1 |
commit: 6538aa0d68509820186cc46dd7d18caa125d51d9 |
| 2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sat Dec 8 15:39:04 2018 +0000 |
| 4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sat Dec 8 15:45:51 2018 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6538aa0d |
| 7 |
|
| 8 |
sys-devel/clang: 8.0+ requires z3-4.7.1 |
| 9 |
|
| 10 |
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> |
| 11 |
|
| 12 |
sys-devel/clang/clang-9999.ebuild | 2 +- |
| 13 |
1 file changed, 1 insertion(+), 1 deletion(-) |
| 14 |
|
| 15 |
diff --git a/sys-devel/clang/clang-9999.ebuild b/sys-devel/clang/clang-9999.ebuild |
| 16 |
index a30db408c52..9e95b51eaf9 100644 |
| 17 |
--- a/sys-devel/clang/clang-9999.ebuild |
| 18 |
+++ b/sys-devel/clang/clang-9999.ebuild |
| 19 |
@@ -37,7 +37,7 @@ RDEPEND=" |
| 20 |
~sys-devel/llvm-${PV}:${SLOT}=[debug=,${LLVM_TARGET_USEDEPS// /,},${MULTILIB_USEDEP}] |
| 21 |
static-analyzer? ( |
| 22 |
dev-lang/perl:* |
| 23 |
- z3? ( sci-mathematics/z3:0= ) |
| 24 |
+ z3? ( >=sci-mathematics/z3-4.7.1:0= ) |
| 25 |
) |
| 26 |
xml? ( dev-libs/libxml2:2=[${MULTILIB_USEDEP}] ) |
| 27 |
${PYTHON_DEPS}" |
Archives