Commit 981e24dd authored by Sören Tempel's avatar Sören Tempel

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
parent 54264b95
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
# Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net>
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"
--- a/src/util/machine.h
+++ b/src/util/machine.h
@@ -20,7 +20,7 @@
#ifndef MACHINE_H_
#define MACHINE_H_
-#ifdef _AMD64_
+#if defined(_AMD64_) || defined(__powerpc64__)
#define PTR_ALIGNMENT 3
#else
#define PTR_ALIGNMENT 2
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -30,7 +30,9 @@
#else
#error No multi-precision library selected.
#endif
+#if defined(__i386__) || defined(__amd64__)
#include <immintrin.h>
+#endif
// Available GCD algorithms
// #define EUCLID_GCD
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment