z3: fix gcc6 build

2016-09-23 10:06:50 +02:00 · 2016-09-23 10:06:50 +02:00 · 3745a9dee2
parent 3b69f8efaa
commit 3745a9dee2
2 changed files with 12 additions and 1 deletions
--- a/srcpkgs/z3/patches/fix-gcc6-typecast.patch
+++ 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':
--- 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"