jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

z3: fix build on armv*.

Browse source
This commit is contained in:
Leah Neukirchen 2019-11-20 12:00:52 +01:00
parent f6d40ada3f
commit abfbeca7b7
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
srcpkgs/z3/patches/mpz.patch Normal file
View file

@ -0,0 +1,11 @@
--- src/util/mpz.cpp.orig
+++ src/util/mpz.cpp
@@ -72,7 +72,7 @@
#if defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64)
// _trailing_zeros32 already defined using intrinsics
-#else
+#elif !defined(__GNUC__)
inline uint32_t _trailing_zeros32(uint32_t x) {
uint32_t r = 0;
for (; 0 == (x & 1) && r < 32; ++r, x >>= 1);