diff options
| author | Leo <thinkabit.ukim@gmail.com> | 2019-11-04 11:09:04 -0300 |
|---|---|---|
| committer | Leo <thinkabit.ukim@gmail.com> | 2019-11-04 12:41:13 -0300 |
| commit | f1988b6391a259eb73084c9cf1ff11973706849f (patch) | |
| tree | 796d2b0c3e74d76d33fc6f0d586f6b69be23f40d /community/z3 | |
| parent | 3e6c2a1881ffa6d14b17d828442145dc710d372a (diff) | |
| download | aports-f1988b6391a259eb73084c9cf1ff11973706849f.tar.bz2 aports-f1988b6391a259eb73084c9cf1ff11973706849f.tar.xz | |
community/z3: upgrade to 4.8.6
Diffstat (limited to 'community/z3')
| -rw-r--r-- | community/z3/APKBUILD | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index 04560387fd..865dd71e56 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -1,21 +1,18 @@ # Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net> # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> pkgname=z3 -pkgver=4.8.5 +pkgver=4.8.6 pkgrel=0 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !aarch64" license="MIT" -depends="" makedepends="cmake python3" -install="" subpackages="$pkgname-dev py3-$pkgname:py3:noarch" -source="https://github.com/Z3Prover/$pkgname/archive/Z3-$pkgver.tar.gz" -builddir="$srcdir/$pkgname-Z3-$pkgver" +source="https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz" +builddir="$srcdir/z3-z3-$pkgver" build() { - cd "$builddir" mkdir build && cd build cmake -G "Unix Makefiles" \ -DBUILD_PYTHON_BINDINGS=True \ @@ -35,7 +32,6 @@ build() { } check() { - cd "$builddir" ./build/test-z3 -a } @@ -53,4 +49,4 @@ py3() { "$subpkgdir"/usr/lib/ } -sha512sums="ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309 Z3-4.8.5.tar.gz" +sha512sums="d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1 z3-4.8.6.tar.gz" |