svn commit: r518299 - head/math/z3/files

[Gleb Popov]

Author: arrowd
Date: Sun Nov 24 07:17:49 2019
New Revision: 518299
URL: https://svnweb.freebsd.org/changeset/ports/518299

Log:
  math/z3: Pull in upstream patch to fix build on i386.
  
  Reported by:	pkg-fallout

Added:
  head/math/z3/files/patch-src_util_mpz.cpp   (contents, props changed)

Added: head/math/z3/files/patch-src_util_mpz.cpp
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/z3/files/patch-src_util_mpz.cpp	Sun Nov 24 07:17:49 2019	(r518299)
@@ -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;