Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch
diff options
context:
space:
mode:
Diffstat (limited to 'community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch')
-rw-r--r--community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch12
1 files changed, 12 insertions, 0 deletions
diff --git a/community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch b/community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch
new file mode 100644
index 00000000..7cdb9ab9
--- /dev/null
+++ b/community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch
@@ -0,0 +1,12 @@
+diff -rauN z3-z3-4.8.7/src/util/mpz.cpp z3-z3-4.8.7-gnu-training_zeroes32-intrinsic-patch/src/util/mpz.cpp
+--- z3-z3-4.8.7/src/util/mpz.cpp 2019-11-19 21:58:44.000000000 +0100
++++ z3-z3-4.8.7-gnu-training_zeroes32-intrinsic-patch/src/util/mpz.cpp 2019-12-13 10:31:15.080120693 +0100
+@@ -72,6 +72,8 @@
+
+ #if defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64)
+ // _trailing_zeros32 already defined using intrinsics
++#elif defined(__GNUC__)
++// _trailing_zeros32 already defined using intrinsics
+ #else
+ inline uint32_t _trailing_zeros32(uint32_t x) {
+ uint32_t r = 0;