sys-devel/clang: 8.0+ requires z3-4.7.1
authorMichał Górny <mgorny@gentoo.org>
Sat, 8 Dec 2018 15:39:04 +0000 (16:39 +0100)
committerMichał Górny <mgorny@gentoo.org>
Sat, 8 Dec 2018 15:45:51 +0000 (16:45 +0100)
Signed-off-by: Michał Górny <mgorny@gentoo.org>
sys-devel/clang/clang-9999.ebuild

index a30db408c52bf9076f83427cb49b4cd95dd97354..9e95b51eaf98c860d3ee06c1e2a2f8d9d260ae22 100644 (file)
@@ -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}"