From 9a9f9bf81c9fc73b7e5a90dbd289f70f4afba7ce Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Mon, 11 May 2020 06:43:52 +0200 Subject: community/z3: patch was upstreamed (?) --- community/z3/PKGBUILD | 12 ------------ .../z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch | 12 ------------ 2 files changed, 24 deletions(-) delete mode 100644 community/z3/PKGBUILD delete mode 100644 community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch (limited to 'community') 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; -- cgit v1.2.3-70-g09d2