summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2018-12-13 21:30:18 +0100
committerMichał Górny <mgorny@gentoo.org>2018-12-13 21:52:18 +0100
commitb7d178c8436066544ab87d79a0d11db7163f6100 (patch)
tree83621fcd97b4c9b993718ef0607479b56360c2ab /sci-mathematics
parentsci-mathematics/z3: Bump to 4.8.3, major ebuild overhaul (diff)
downloadgentoo-b7d178c8436066544ab87d79a0d11db7163f6100.tar.gz
gentoo-b7d178c8436066544ab87d79a0d11db7163f6100.tar.bz2
gentoo-b7d178c8436066544ab87d79a0d11db7163f6100.zip
sci-mathematics/z3: Enable python3
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/z3/z3-4.8.3.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/z3/z3-4.8.3.ebuild b/sci-mathematics/z3/z3-4.8.3.ebuild
index 3a8136475a75..ea65ed84b8ac 100644
--- a/sci-mathematics/z3/z3-4.8.3.ebuild
+++ b/sci-mathematics/z3/z3-4.8.3.ebuild
@@ -3,7 +3,7 @@
EAPI=6
-PYTHON_COMPAT=( python2_7 )
+PYTHON_COMPAT=( python{2_7,3_{4,5,6,7}} )
inherit cmake-utils python-single-r1 toolchain-funcs