From 9a9f9bf81c9fc73b7e5a90dbd289f70f4afba7ce Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 11 May 2020 06:43:52 +0200
Subject: community/z3: patch was upstreamed (?)

---
 community/z3/PKGBUILD | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 community/z3/PKGBUILD

(limited to 'community/z3/PKGBUILD')

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" \
-    '
-)"
-- 
cgit v1.2.3-54-g00ecf