diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2019-11-24 07:17:49 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2019-11-24 07:17:49 +0000 |
| commit | 888c43284804fec3d5a9f40659fb679df1e3d9d5 (patch) | |
| tree | 79d2eae6904ddfe184665514cd784bfd71abad45 /math/z3 | |
| parent | graphics/minder: Update to 1.5.1 (diff) | |
math/z3: Pull in upstream patch to fix build on i386.
Reported by: pkg-fallout
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/files/patch-src_util_mpz.cpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/z3/files/patch-src_util_mpz.cpp b/math/z3/files/patch-src_util_mpz.cpp new file mode 100644 index 000000000000..3dbba3d278ca --- /dev/null +++ b/math/z3/files/patch-src_util_mpz.cpp @@ -0,0 +1,11 @@ +--- src/util/mpz.cpp.orig 2019-11-19 20:58:44 UTC ++++ 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; |