Gentoo Archives: gentoo-commits

From: Keri Harris <keri@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/mercury/
Date: Tue, 23 Oct 2018 07:32:51
Message-Id: 1540279940.c0bf824f276438bbbe039c4b45000a075c56beee.keri@gentoo
1 commit: c0bf824f276438bbbe039c4b45000a075c56beee
2 Author: Keri Harris <keri <AT> gentoo <DOT> org>
3 AuthorDate: Tue Oct 23 07:27:00 2018 +0000
4 Commit: Keri Harris <keri <AT> gentoo <DOT> org>
5 CommitDate: Tue Oct 23 07:32:20 2018 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c0bf824f
7
8 dev-lang/mercury: do not build dvi/pdf documentation. Closes #575140
9
10 Package-Manager: Portage-2.3.40, Repoman-2.3.9
11 Signed-off-by: Keri Harris <keri <AT> gentoo.org>
12
13 dev-lang/mercury/mercury-14.01.1.ebuild | 9 +++++++--
14 1 file changed, 7 insertions(+), 2 deletions(-)
15
16 diff --git a/dev-lang/mercury/mercury-14.01.1.ebuild b/dev-lang/mercury/mercury-14.01.1.ebuild
17 index ff23c0e2a73..f09175693e3 100644
18 --- a/dev-lang/mercury/mercury-14.01.1.ebuild
19 +++ b/dev-lang/mercury/mercury-14.01.1.ebuild
20 @@ -17,7 +17,7 @@ LICENSE="GPL-2 LGPL-2"
21 SLOT="0"
22 KEYWORDS="amd64 x86"
23
24 -IUSE="debug emacs erlang examples java mono profile readline threads trail"
25 +IUSE="debug doc emacs erlang examples java mono profile readline threads trail"
26
27 DEPEND="!dev-libs/mpatrol
28 !dev-util/mono-debugger
29 @@ -25,7 +25,8 @@ DEPEND="!dev-libs/mpatrol
30 readline? ( sys-libs/readline:= )
31 erlang? ( dev-lang/erlang )
32 java? ( >=virtual/jdk-1.6:= )
33 - mono? ( dev-lang/mono )"
34 + mono? ( dev-lang/mono )
35 + doc? ( sys-apps/texinfo )"
36
37 RDEPEND="${DEPEND}
38 emacs? ( virtual/emacs )"
39 @@ -87,6 +88,7 @@ src_compile() {
40 # Build Mercury using bootstrap grade
41 emake \
42 PARALLEL="'${MAKEOPTS}'" \
43 + TEXI2DVI="" PDFTEX="" \
44 || die "emake failed"
45
46 # We can now patch .m Mercury compiler files since we
47 @@ -106,6 +108,7 @@ src_compile() {
48 emake \
49 PARALLEL="'${MAKEOPTS}'" \
50 MERCURY_COMPILER="${S}"/compiler/mercury_compile \
51 + TEXI2DVI="" PDFTEX="" \
52 compiler || die "emake compiler failed"
53
54 # The default Mercury grade may not be the same as the bootstrap
55 @@ -114,6 +117,7 @@ src_compile() {
56 emake \
57 PARALLEL="'${MAKEOPTS}'" \
58 MERCURY_COMPILER="${S}"/compiler/mercury_compile \
59 + TEXI2DVI="" PDFTEX="" \
60 default_grade || die "emake default_grade failed"
61 }
62
63 @@ -158,6 +162,7 @@ src_install() {
64 emake \
65 PARALLEL="'${MAKEOPTS}'" \
66 MERCURY_COMPILER="${S}"/compiler/mercury_compile \
67 + TEXI2DVI="" PDFTEX="" \
68 DESTDIR="${D}" \
69 INSTALL_PREFIX="${D}"/usr \
70 INSTALL_MAN_DIR="${D}"/usr/share/man \