aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3/fix-ppc64le-ptr-size.patch
diff options
context:
space:
mode:
Diffstat (limited to 'community/z3/fix-ppc64le-ptr-size.patch')
-rw-r--r--community/z3/fix-ppc64le-ptr-size.patch11
1 files changed, 11 insertions, 0 deletions
diff --git a/community/z3/fix-ppc64le-ptr-size.patch b/community/z3/fix-ppc64le-ptr-size.patch
new file mode 100644
index 0000000000..cdf5e2156f
--- /dev/null
+++ b/community/z3/fix-ppc64le-ptr-size.patch
@@ -0,0 +1,11 @@
+--- 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