aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3/fix-ppc64le-ptr-size.patch
blob: cdf5e2156f667a84e00d8b6e87c2708b2537ab1c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
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