| 1 |
commit: 553750d950477340ab2f269efecb4a90921c7fe0 |
| 2 |
Author: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sat Jun 25 20:37:09 2016 +0000 |
| 4 |
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sat Jun 25 20:41:30 2016 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=553750d9 |
| 7 |
|
| 8 |
sci-mathematics/coq: Stable for amd64. Retroactively mark stable for the remaining arches using the ALLARCHES policy. |
| 9 |
|
| 10 |
Package-Manager: portage-2.2.28 |
| 11 |
Gentoo-Bug: https://bugs.gentoo.org/586932 |
| 12 |
|
| 13 |
sci-mathematics/coq/coq-8.5.ebuild | 17 +++++++++++------ |
| 14 |
1 file changed, 11 insertions(+), 6 deletions(-) |
| 15 |
|
| 16 |
diff --git a/sci-mathematics/coq/coq-8.5.ebuild b/sci-mathematics/coq/coq-8.5.ebuild |
| 17 |
index 1dffb39..040cc88 100644 |
| 18 |
--- a/sci-mathematics/coq/coq-8.5.ebuild |
| 19 |
+++ b/sci-mathematics/coq/coq-8.5.ebuild |
| 20 |
@@ -1,8 +1,8 @@ |
| 21 |
-# Copyright 1999-2015 Gentoo Foundation |
| 22 |
+# Copyright 1999-2016 Gentoo Foundation |
| 23 |
# Distributed under the terms of the GNU General Public License v2 |
| 24 |
# $Id$ |
| 25 |
|
| 26 |
-EAPI="5" |
| 27 |
+EAPI=5 |
| 28 |
|
| 29 |
inherit eutils multilib |
| 30 |
|
| 31 |
@@ -15,7 +15,7 @@ SRC_URI="http://${PN}.inria.fr/distrib/V${MY_PV}/files/${MY_P}.tar.gz" |
| 32 |
|
| 33 |
LICENSE="LGPL-2.1" |
| 34 |
SLOT="0" |
| 35 |
-KEYWORDS="~amd64 ~ppc ~x86" |
| 36 |
+KEYWORDS="amd64 ppc x86" |
| 37 |
IUSE="gtk debug +ocamlopt doc camlp5" |
| 38 |
|
| 39 |
RDEPEND=" |
| 40 |
@@ -23,6 +23,7 @@ RDEPEND=" |
| 41 |
camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) |
| 42 |
!camlp5? ( dev-ml/camlp4:= ) |
| 43 |
gtk? ( >=dev-ml/lablgtk-2.10.1:=[sourceview,ocamlopt?] )" |
| 44 |
+ |
| 45 |
DEPEND="${RDEPEND} |
| 46 |
doc? ( |
| 47 |
media-libs/netpbm[png,zlib] |
| 48 |
@@ -34,11 +35,15 @@ DEPEND="${RDEPEND} |
| 49 |
dev-texlive/texlive-latexextra |
| 50 |
)" |
| 51 |
|
| 52 |
-S=${WORKDIR}/${MY_P} |
| 53 |
+S="${WORKDIR}/${MY_P}" |
| 54 |
+ |
| 55 |
+PATCHES=( |
| 56 |
+ "${FILESDIR}/${PN}-8.5-do-not-install-revision.patch" |
| 57 |
+ "${FILESDIR}/${PN}-8.4_p5-no-clean-before-test.patch" |
| 58 |
+) |
| 59 |
|
| 60 |
src_prepare() { |
| 61 |
- epatch "${FILESDIR}/${PN}-8.5-do-not-install-revision.patch" |
| 62 |
- epatch "${FILESDIR}/${PN}-8.4_p5-no-clean-before-test.patch" |
| 63 |
+ epatch "${PATCHES[@]}" |
| 64 |
} |
| 65 |
|
| 66 |
src_configure() { |
Archives