Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 24 Nov 2019 07:17:49 +0000 (UTC)
From:      Gleb Popov <arrowd@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r518299 - head/math/z3/files
Message-ID:  <201911240717.xAO7HnCu064561@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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;



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201911240717.xAO7HnCu064561>