diff options
Diffstat (limited to 'community/z3/APKBUILD')
| -rw-r--r-- | community/z3/APKBUILD | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index 3e1efb02d2..6512849b4a 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -2,7 +2,7 @@ # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> pkgname=z3 pkgver=4.8.3 -pkgrel=0 +pkgrel=1 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !aarch64" @@ -12,6 +12,7 @@ makedepends="cmake python3" install="" subpackages="$pkgname-dev py3-$pkgname:py3:noarch" source="https://github.com/Z3Prover/$pkgname/archive/$pkgname-$pkgver.tar.gz + fix-ppc64le-immintrin.patch fix-ppc64le-ptr-size.patch" builddir="$srcdir/$pkgname-$pkgname-$pkgver" @@ -55,4 +56,5 @@ py3() { } sha512sums="34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044 z3-4.8.3.tar.gz +ad5fce045ee4cf10fdfc34f7c88d56da27e8ec6bfaee2f80bdeee41a8cf78d361ed9587b1d9c1def72a402101517705b96e0103a4760946722d1cff4a7021eec fix-ppc64le-immintrin.patch 3d019959a104b5fd5f72eeb3738cacbdb145764ad4844eeb2539b36fa3a8228ffa062a0899465d4881b6c226301aa09b129ef06a798744b2eec9f943e0d9d366 fix-ppc64le-ptr-size.patch" |