diff options
Diffstat (limited to 'user/z3')
| -rw-r--r-- | user/z3/APKBUILD | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/user/z3/APKBUILD b/user/z3/APKBUILD new file mode 100644 index 000000000..2864319ac --- /dev/null +++ b/user/z3/APKBUILD @@ -0,0 +1,40 @@ +# Contributor: A. Wilcox <awilfox@adelielinux.org> +# Maintainer: A. Wilcox <awilfox@adelielinux.org> +pkgname=z3 +pkgver=4.8.4 +pkgrel=0 +pkgdesc="Mathematical theorem prover" +url=" " +arch="all" +license="MIT" +depends="" +makedepends="gmp-dev python3-dev cmd:which" +subpackages="$pkgname-dev py3-$pkgname:py3:noarch" +source="https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz" +builddir="$srcdir/z3-z3-$pkgver" + +build() { + PYTHON=python3 ./configure \ + --prefix=/usr \ + --gmp \ + --python + make -C build +} + +check() { + make -C build test-z3 + build/test-z3 /a +} + +package() { + make -C build DESTDIR="$pkgdir" install +} + +py3() { + pkgdesc="$pkgdesc (Python bindings)" + depends="python3" + mkdir -p "$subpkgdir"/usr/lib + mv "$pkgdir"/usr/lib/python3* "$subpkgdir"/usr/lib/ +} + +sha512sums="4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4 z3-4.8.4.tar.gz" |