diff options
| author | markd <markd@pkgsrc.org> | 2016-07-16 04:02:13 +0000 |
|---|---|---|
| committer | markd <markd@pkgsrc.org> | 2016-07-16 04:02:13 +0000 |
| commit | 2950d81aa45e6b240630563836c9442e4f3057db (patch) | |
| tree | 6614deab6cb0183a341337b704e32cd6453654aa /math/z3/patches | |
| parent | b19c37d49d439fa57776140797e47568e7520255 (diff) | |
| download | pkgsrc-2950d81aa45e6b240630563836c9442e4f3057db.tar.gz | |
gcc6 build fix
Diffstat (limited to 'math/z3/patches')
| -rw-r--r-- | math/z3/patches/patch-src_util_debug.cpp | 15 | ||||
| -rw-r--r-- | math/z3/patches/patch-src_util_mpz.cpp | 15 |
2 files changed, 30 insertions, 0 deletions
diff --git a/math/z3/patches/patch-src_util_debug.cpp b/math/z3/patches/patch-src_util_debug.cpp new file mode 100644 index 00000000000..687509d9357 --- /dev/null +++ b/math/z3/patches/patch-src_util_debug.cpp @@ -0,0 +1,15 @@ +$NetBSD: patch-src_util_debug.cpp,v 1.1 2016/07/16 04:02:13 markd Exp $ + +gcc6 fix + +--- src/util/debug.cpp.orig 2015-10-05 12:07:19.000000000 +0000 ++++ src/util/debug.cpp +@@ -76,7 +76,7 @@ void invoke_gdb() { + 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 = 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/math/z3/patches/patch-src_util_mpz.cpp b/math/z3/patches/patch-src_util_mpz.cpp new file mode 100644 index 00000000000..d78ea9ecbc0 --- /dev/null +++ b/math/z3/patches/patch-src_util_mpz.cpp @@ -0,0 +1,15 @@ +$NetBSD: patch-src_util_mpz.cpp,v 1.1 2016/07/16 04:02:13 markd Exp $ + +gcc6 fix + +--- src/util/mpz.cpp.orig 2015-10-05 12:07:19.000000000 +0000 ++++ src/util/mpz.cpp +@@ -134,7 +134,7 @@ mpz_manager<SYNCH>::mpz_manager(): + #endif + + mpz one(1); +- set(m_two64, UINT64_MAX); ++ set(m_two64, (uint64)UINT64_MAX); + add(m_two64, one, m_two64); + } + |