diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2020-05-09 19:00:06 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2020-05-09 19:05:13 +0200 |
| commit | f43a18cc5b48e78a0b6cdfc33948ba43b1167977 (patch) | |
| tree | 68869e9238ee83efc544b4eb08cc85b582f2f3a5 /community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch | |
| parent | 4664b815b8664b2c531655a6c8355fea31b12599 (diff) | |
| download | aports-f43a18cc5b48e78a0b6cdfc33948ba43b1167977.tar.bz2 aports-f43a18cc5b48e78a0b6cdfc33948ba43b1167977.tar.xz | |
community/z3: upgrade to 4.8.8z3-upgrade
Diffstat (limited to 'community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch')
| -rw-r--r-- | community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch b/community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch deleted file mode 100644 index 8edb6e5f23..0000000000 --- a/community/z3/0001-Fix-fail-to-build-on-clang-and-g.patch +++ /dev/null @@ -1,24 +0,0 @@ -From 37431d6f12ba3c7f8a0f7f7eb21a67579544b1cc Mon Sep 17 00:00:00 2001 -From: Nikolaj Bjorner <nbjorner@microsoft.com> -Date: Wed, 20 Nov 2019 15:01:04 -0800 -Subject: [PATCH] Fix fail to build on clang++ and g++ - -Without this patch `src/util/mpz.cpp` fails to build when `__GNUC__` is -defined. ---- - src/util/mpz.cpp | 2 ++ - 1 file changed, 2 insertions(+) - -diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp -index a8190df1b..9c2d3d5ff 100644 ---- a/src/util/mpz.cpp -+++ b/src/util/mpz.cpp -@@ -72,6 +72,8 @@ inline uint64_t _trailing_zeros64(uint64_t x) { - - #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; |