z3: update to 4.8.11.

srcpkgs/z3/patches/mpz.patch

@@ -1,11 +0,0 @@
---- 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);

srcpkgs/z3/template

@@ -1,6 +1,6 @@
 # Template file for 'z3'
 pkgname=z3
-version=4.8.10
+version=4.8.11
 revision=1
 wrksrc="${pkgname}-${pkgname}-${version}"
 build_style=configure
@@ -15,7 +15,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="MIT"
 homepage="https://github.com/Z3Prover/z3"
 distfiles="https://github.com/Z3Prover/z3/archive/z3-${version}.tar.gz"
-checksum=12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4
+checksum=99e912b9af76a17f8827f89afcf4da117736f3877a8bbdd737c548c6541009d7
 
 build_options="ocaml"
 desc_option_ocaml="Enable support for OCaml bindings"
@@ -27,6 +27,11 @@ if [ -z "$CROSS_BUILD" ]; then
 	build_options_default="ocaml"
 fi
 
+do_check() {
+	make ${MAKEJOBS} -C build test
+	./build/test-z3 /a
+}
+
 post_install() {
 	vbin build/z3_tptp
 	vbin build/maxsat