diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-05-30 14:56:26 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-05-30 19:07:49 +0200 |
| commit | 0907dbd56ac5acea50f08cfad61ace2a46047696 (patch) | |
| tree | f50fc7c7ec104ab0e178a790d8ab53ce2f07851b | |
| parent | 2ef1089f1f621a720f3acd1469fa4351defc1cfa (diff) | |
| download | aports-0907dbd56ac5acea50f08cfad61ace2a46047696.tar.bz2 aports-0907dbd56ac5acea50f08cfad61ace2a46047696.tar.xz | |
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 ;)
| -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" |