diff options
| -rw-r--r-- | testing/z3/APKBUILD | 18 |
1 files 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" |