Index: head/math/z3/files/patch-src_util_mpz.cpp
===================================================================
--- head/math/z3/files/patch-src_util_mpz.cpp	(nonexistent)
+++ head/math/z3/files/patch-src_util_mpz.cpp	(revision 518299)
@@ -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;

Property changes on: head/math/z3/files/patch-src_util_mpz.cpp
___________________________________________________________________
Added: fbsd:nokeywords
## -0,0 +1 ##
+yes
\ No newline at end of property
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: svn:mime-type
## -0,0 +1 ##
+text/plain
\ No newline at end of property