From 3745a9dee2af4fe2e88dac48178dfb7178f013ab Mon Sep 17 00:00:00 2001
From: Juergen Buchmueller <pullmoll@t-online.de>
Date: Fri, 23 Sep 2016 10:06:50 +0200
Subject: [PATCH] z3: fix gcc6 build

---
 srcpkgs/z3/patches/fix-gcc6-typecast.patch | 11 +++++++++++
 srcpkgs/z3/template                        |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 srcpkgs/z3/patches/fix-gcc6-typecast.patch

diff --git a/srcpkgs/z3/patches/fix-gcc6-typecast.patch b/srcpkgs/z3/patches/fix-gcc6-typecast.patch
new file mode 100644
index 0000000000..c8efb782d0
--- /dev/null
+++ b/srcpkgs/z3/patches/fix-gcc6-typecast.patch
@@ -0,0 +1,11 @@
+--- src/util/debug.cpp	2015-10-05 14:07:19.000000000 +0200
++++ src/util/debug.cpp	2016-09-23 09:56:52.501486862 +0200
+@@ -76,7 +76,7 @@
+     for (;;) {
+         std::cerr << "(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB\n";
+         char result;
+-        bool ok = (std::cin >> result);
++        bool ok = static_cast<bool>(std::cin >> result);
+         if (!ok) exit(ERR_INTERNAL_FATAL); // happens if std::cin is eof or unattached.
+         switch(result) {
+         case 'C':
diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index 9d2f86ce54..328d26e653 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -1,7 +1,7 @@
 # Template file for 'z3'
 pkgname=z3
 version=4.4.1
-revision=2
+revision=3
 wrksrc="${pkgname}-${pkgname}-${version}"
 hostmakedepends="python"
 makedepends="libgomp-devel gmp-devel"