From abfbeca7b77aa824907d87d841730b374b8a06b4 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Wed, 20 Nov 2019 12:00:52 +0100
Subject: [PATCH] z3: fix build on armv*.

---
 srcpkgs/z3/patches/mpz.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 srcpkgs/z3/patches/mpz.patch

diff --git a/srcpkgs/z3/patches/mpz.patch b/srcpkgs/z3/patches/mpz.patch
new file mode 100644
index 00000000000..daa9c6920eb
--- /dev/null
+++ b/srcpkgs/z3/patches/mpz.patch
@@ -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);