From bbf139b9303dc6b712efb64157b947d1bfb48df2 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Fri, 13 Dec 2019 10:55:17 +0100
Subject: community/z3: added trailing_zeroes32-intrinsic patch

---
 community/z3/PKGBUILD | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 community/z3/PKGBUILD

(limited to 'community/z3/PKGBUILD')

diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD
new file mode 100644
index 00000000..d86a1c87
--- /dev/null
+++ b/community/z3/PKGBUILD
@@ -0,0 +1,12 @@
+# https://github.com/Z3Prover/z3/issues/2776
+# upstream fix for 32-bit intrinsics in GNU compiler
+source+=('z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch')
+sha512sums+=('98495c9bd6aaa2c1f37fa7b3c0843b36a28148b711b44817ec375334e44690ff055d789d3e44fcdff7e58e0d9fdf8b547c194d401ce3b8aee17febbe584217ea')
+
+eval "$(
+  declare -f prepare | \
+    sed '
+      /cd/ a \
+        patch -Np1 -i "$srcdir/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch" \
+    '
+)"
-- 
cgit v1.2.3