From 0907dbd56ac5acea50f08cfad61ace2a46047696 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Tempel?= <soeren+git@soeren-tempel.net>
Date: Wed, 30 May 2018 14:56:26 +0200
Subject: testing/z3: add python3 bindings

I didn't manage to figure out yet how to easily build both the python2 and
python3 binding. If anybody is interested in python2 support pull
requests adding it are very welcome ;)
---
 testing/z3/APKBUILD | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/testing/z3/APKBUILD b/testing/z3/APKBUILD
index ccdad0b06e..a7cdf18c5b 100644
--- a/testing/z3/APKBUILD
+++ b/testing/z3/APKBUILD
@@ -2,15 +2,15 @@
 # Maintainer:
 pkgname=z3
 pkgver=4.6.0
-pkgrel=1
+pkgrel=2
 pkgdesc="Theorem prover from Microsoft Research"
 url="https://github.com/Z3Prover/z3"
 arch="all"
 license="MIT"
 depends=""
-makedepends="cmake"
+makedepends="cmake python3"
 install=""
-subpackages="$pkgname-dev"
+subpackages="$pkgname-dev py3-$pkgname:py3:noarch"
 source="https://github.com/Z3Prover/$pkgname/archive/$pkgname-$pkgver.tar.gz"
 builddir="$srcdir/$pkgname-$pkgname-$pkgver"
 
@@ -18,6 +18,9 @@ build() {
 	cd "$builddir"
 	mkdir build && cd build
 	cmake -G "Unix Makefiles" \
+		-DBUILD_PYTHON_BINDINGS=True \
+		-DINSTALL_PYTHON_BINDINGS=True \
+		-DPYTHON_EXECUTABLE=/usr/bin/python3 \
 		-DCMAKE_INSTALL_PREFIX=/usr \
 		-DCMAKE_INSTALL_LIBDIR=lib \
 		-DBUILD_SHARED_LIBS=True \
@@ -33,4 +36,13 @@ package() {
 	make DESTDIR="$pkgdir" install
 }
 
+py3() {
+	pkgdesc="Python bindings for $pkgname"
+	depends="python3"
+
+	mkdir -p "$subpkgdir"/usr/lib/
+	mv "$pkgdir"/usr/lib/python3* \
+		"$subpkgdir"/usr/lib/
+}
+
 sha512sums="92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243  z3-4.6.0.tar.gz"
-- 
cgit v1.2.3