diff options
| author | Erich Eckner <git@eckner.net> | 2020-05-11 06:43:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-05-11 06:43:52 +0200 |
| commit | 9a9f9bf81c9fc73b7e5a90dbd289f70f4afba7ce (patch) | |
| tree | b222eeffcadb6da4d86c4cfaa1ab3f4ef5a3c129 /community/z3/PKGBUILD | |
| parent | cd08038883b3024eb171802f133e11885ef213f5 (diff) | |
| download | packages-9a9f9bf81c9fc73b7e5a90dbd289f70f4afba7ce.tar.xz | |
community/z3: patch was upstreamed (?)
Diffstat (limited to 'community/z3/PKGBUILD')
| -rw-r--r-- | community/z3/PKGBUILD | 12 |
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" \ - ' -)" |