diff options
| author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-04-25 23:44:19 +0000 |
|---|---|---|
| committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-04-25 23:44:19 +0000 |
| commit | 8f15ca3067e023d9bdb81505bc80ac1ed6041506 (patch) | |
| tree | 2a3e5aa19dc74d6374267444a5cf84302ed655e9 /user/z3 | |
| parent | 608a846258f789efadca1f8390a27e5ff1afcee2 (diff) | |
| download | packages-8f15ca3067e023d9bdb81505bc80ac1ed6041506.tar.gz packages-8f15ca3067e023d9bdb81505bc80ac1ed6041506.tar.bz2 packages-8f15ca3067e023d9bdb81505bc80ac1ed6041506.tar.xz packages-8f15ca3067e023d9bdb81505bc80ac1ed6041506.zip | |
user/z3: new package
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" |