summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6Matthew Dawson2016-10-301-0/+2
| | | | | | | | | 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: Bump EAPI to 6Matthew Dawson2016-10-301-0/+140
Make sure to call default in src_prepare, and switch to new einstalldocs for the HTML documentation. Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2575 Signed-off-by: David Seifert <soap@gentoo.org>