From b7d178c8436066544ab87d79a0d11db7163f6100 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Thu, 13 Dec 2018 21:30:18 +0100
Subject: [PATCH] sci-mathematics/z3: Enable python3
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
 sci-mathematics/z3/z3-4.8.3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.26.2