sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6
authorMatthew Dawson <matthew@mjdsystems.ca>
Mon, 17 Oct 2016 03:17:19 +0000 (23:17 -0400)
committerDavid Seifert <soap@gentoo.org>
Sat, 29 Oct 2016 22:30:12 +0000 (00:30 +0200)
commitabc1591d87c0376c9b344794658b8adb31c1d86e
tree03454d3d5ec3d0d157b5df1132bd38aac9bade36
parent6ba8a2fb02fc8056a10a787d789124f4aa69110e
sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6

Gentoo-bug: 593982

Package-Manager: portage-2.2.28
Closes: https://github.com/gentoo/gentoo/pull/2575

Signed-off-by: David Seifert <soap@gentoo.org>
sci-mathematics/cvc3/cvc3-2.4.1-r1.ebuild
sci-mathematics/cvc3/files/cvc3-2.4.1-gccv6-fix.patch [new file with mode: 0644]