From 981e24ddb68fe148e8c7f8a1627820c2b5142421 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Tempel?= Date: Wed, 26 Dec 2018 15:07:35 +0100 Subject: community/z3: upgrade to 4.8.4 Both patches should no longer be needed: immintrin-i386-only.patch: has been applied upstream [0]. fix-ppc64le-ptr-size.patch: checks for __LP64__ now [1] which covers our cases. [0]: https://github.com/Z3Prover/z3/commit/a3ece29628501b405cb065f535ab0a003672fec0 [1]: https://github.com/Z3Prover/z3/commit/51a947b73d9d597029c30c62fe8d59d013a48f3c --- community/z3/APKBUILD | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) (limited to 'community/z3/APKBUILD') diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index b851732f76..f085b6122f 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -1,8 +1,8 @@ # Contributor: Sören Tempel # Maintainer: Sören Tempel pkgname=z3 -pkgver=4.8.3 -pkgrel=1 +pkgver=4.8.4 +pkgrel=0 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !aarch64" @@ -11,9 +11,7 @@ depends="" makedepends="cmake python3" install="" subpackages="$pkgname-dev py3-$pkgname:py3:noarch" -source="https://github.com/Z3Prover/$pkgname/archive/$pkgname-$pkgver.tar.gz - immintrin-i386-only.patch - fix-ppc64le-ptr-size.patch" +source="https://github.com/Z3Prover/$pkgname/archive/$pkgname-$pkgver.tar.gz" builddir="$srcdir/$pkgname-$pkgname-$pkgver" build() { @@ -55,6 +53,4 @@ py3() { "$subpkgdir"/usr/lib/ } -sha512sums="34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044 z3-4.8.3.tar.gz -4d9059b8a4c2d2217abdebc2d8e118adc37594b71e056ede488e2fe314c243dbb35efc413120ff110d54723e780b4e2daedefbc57e8a140c3bddb3e03630431c immintrin-i386-only.patch -3d019959a104b5fd5f72eeb3738cacbdb145764ad4844eeb2539b36fa3a8228ffa062a0899465d4881b6c226301aa09b129ef06a798744b2eec9f943e0d9d366 fix-ppc64le-ptr-size.patch" +sha512sums="4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4 z3-4.8.4.tar.gz" -- cgit v1.2.3