aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3
diff options
context:
space:
mode:
authorCarlo Landmeter <clandmeter@alpinelinux.org>2018-11-30 11:13:09 +0000
committerCarlo Landmeter <clandmeter@alpinelinux.org>2018-11-30 11:13:09 +0000
commitcb24f58de5f505429043574974717a69df99ca12 (patch)
tree7c351b89b7d012bc968203e5a69fe8394b01e0ce /community/z3
parentfa8515b5bf2ac2247a2062d56f25106f56b1ee1c (diff)
downloadaports-cb24f58de5f505429043574974717a69df99ca12.tar.bz2
aports-cb24f58de5f505429043574974717a69df99ca12.tar.xz
community/z3: immintrin.h only available on i386
Diffstat (limited to 'community/z3')
-rw-r--r--community/z3/APKBUILD4
-rw-r--r--community/z3/immintrin-i386-only.patch (renamed from community/z3/fix-ppc64le-immintrin.patch)2
2 files changed, 3 insertions, 3 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD
index 6512849b4a..b851732f76 100644
--- a/community/z3/APKBUILD
+++ b/community/z3/APKBUILD
@@ -12,7 +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
+ immintrin-i386-only.patch
fix-ppc64le-ptr-size.patch"
builddir="$srcdir/$pkgname-$pkgname-$pkgver"
@@ -56,5 +56,5 @@ py3() {
}
sha512sums="34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044 z3-4.8.3.tar.gz
-ad5fce045ee4cf10fdfc34f7c88d56da27e8ec6bfaee2f80bdeee41a8cf78d361ed9587b1d9c1def72a402101517705b96e0103a4760946722d1cff4a7021eec fix-ppc64le-immintrin.patch
+4d9059b8a4c2d2217abdebc2d8e118adc37594b71e056ede488e2fe314c243dbb35efc413120ff110d54723e780b4e2daedefbc57e8a140c3bddb3e03630431c immintrin-i386-only.patch
3d019959a104b5fd5f72eeb3738cacbdb145764ad4844eeb2539b36fa3a8228ffa062a0899465d4881b6c226301aa09b129ef06a798744b2eec9f943e0d9d366 fix-ppc64le-ptr-size.patch"
diff --git a/community/z3/fix-ppc64le-immintrin.patch b/community/z3/immintrin-i386-only.patch
index d1960a5a25..d4be4d8043 100644
--- a/community/z3/fix-ppc64le-immintrin.patch
+++ b/community/z3/immintrin-i386-only.patch
@@ -4,7 +4,7 @@
#else
#error No multi-precision library selected.
#endif
-+#ifndef __powerpc64__
++#if defined(__i386__) || defined(__amd64__)
#include <immintrin.h>
+#endif