Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/z3/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'community/z3/PKGBUILD')
-rw-r--r--community/z3/PKGBUILD12
1 files changed, 0 insertions, 12 deletions
diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD
deleted file mode 100644
index d86a1c87..00000000
--- a/community/z3/PKGBUILD
+++ /dev/null
@@ -1,12 +0,0 @@
-# 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" \
- '
-)"