community/z3/fix-ppc64le-ptr-size.patch


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