aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3
diff options
context:
space:
mode:
authorMike Sullivan <mksully22@gmail.com>2018-11-26 20:11:41 +0000
committerNatanael Copa <ncopa@alpinelinux.org>2018-11-27 08:56:44 +0000
commit5c2e69fba7f723ab350a549ad8f348eb63c06ed5 (patch)
tree11c610e54e70d7e268d1cb1a750b0c6fea4278dc /community/z3
parentbf60bdafdb9c153736fabbfd2ac33540d9c61a7d (diff)
downloadaports-5c2e69fba7f723ab350a549ad8f348eb63c06ed5.tar.bz2
aports-5c2e69fba7f723ab350a549ad8f348eb63c06ed5.tar.xz
community/z3: fix ppc64le build break to skip use of immintrin.h
Diffstat (limited to 'community/z3')
-rw-r--r--community/z3/APKBUILD4
-rw-r--r--community/z3/fix-ppc64le-immintrin.patch12
2 files changed, 15 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"
diff --git a/community/z3/fix-ppc64le-immintrin.patch b/community/z3/fix-ppc64le-immintrin.patch
new file mode 100644
index 0000000000..d1960a5a25
--- /dev/null
+++ b/community/z3/fix-ppc64le-immintrin.patch
@@ -0,0 +1,12 @@
+--- a/src/util/mpz.cpp
++++ b/src/util/mpz.cpp
+@@ -30,7 +30,9 @@
+ #else
+ #error No multi-precision library selected.
+ #endif
++#ifndef __powerpc64__
+ #include <immintrin.h>
++#endif
+
+ // Available GCD algorithms
+ // #define EUCLID_GCD