summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-05-11 06:43:52 +0200
committerErich Eckner <git@eckner.net>2020-05-11 06:43:52 +0200
commit9a9f9bf81c9fc73b7e5a90dbd289f70f4afba7ce (patch)
treeb222eeffcadb6da4d86c4cfaa1ab3f4ef5a3c129
parentcd08038883b3024eb171802f133e11885ef213f5 (diff)
downloadpackages-9a9f9bf81c9fc73b7e5a90dbd289f70f4afba7ce.tar.xz
community/z3: patch was upstreamed (?)
-rw-r--r--community/z3/PKGBUILD12
-rw-r--r--community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch12
2 files changed, 0 insertions, 24 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" \
- '
-)"
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
deleted file mode 100644
index 7cdb9ab9..00000000
--- a/community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-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;