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/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch | |
| parent | cd08038883b3024eb171802f133e11885ef213f5 (diff) | |
| download | packages-9a9f9bf81c9fc73b7e5a90dbd289f70f4afba7ce.tar.xz | |
community/z3: patch was upstreamed (?)
Diffstat (limited to 'community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch')
| -rw-r--r-- | community/z3/z3-z3-4.8.7-gnu-trailing_zeroes32-intrinsic.patch | 12 |
1 files changed, 0 insertions, 12 deletions
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; |