Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sci-mathematics/cvc3: Add a patch to fix compiling with GCC 6 | Matthew Dawson | 2016-10-30 | 1 | -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 6 | Matthew Dawson | 2016-10-30 | 1 | -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> |