[gentoo-commits] repo/gentoo:master commit in: dev-lang/mercury/

["Keri Harris" <keri@gentoo.org>]

commit:     c0bf824f276438bbbe039c4b45000a075c56beee
Author:     Keri Harris <keri <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 23 07:27:00 2018 +0000
Commit:     Keri Harris <keri <AT> gentoo <DOT> org>
CommitDate: Tue Oct 23 07:32:20 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c0bf824f

dev-lang/mercury: do not build dvi/pdf documentation. Closes #575140

Package-Manager: Portage-2.3.40, Repoman-2.3.9
Signed-off-by: Keri Harris <keri <AT> gentoo.org>

 dev-lang/mercury/mercury-14.01.1.ebuild | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/dev-lang/mercury/mercury-14.01.1.ebuild b/dev-lang/mercury/mercury-14.01.1.ebuild
index ff23c0e2a73..f09175693e3 100644
--- a/dev-lang/mercury/mercury-14.01.1.ebuild
+++ b/dev-lang/mercury/mercury-14.01.1.ebuild
@@ -17,7 +17,7 @@ LICENSE="GPL-2 LGPL-2"
 SLOT="0"
 KEYWORDS="amd64 x86"
 
-IUSE="debug emacs erlang examples java mono profile readline threads trail"
+IUSE="debug doc emacs erlang examples java mono profile readline threads trail"
 
 DEPEND="!dev-libs/mpatrol
 	!dev-util/mono-debugger
@@ -25,7 +25,8 @@ DEPEND="!dev-libs/mpatrol
 	readline? ( sys-libs/readline:= )
 	erlang? ( dev-lang/erlang )
 	java? ( >=virtual/jdk-1.6:= )
-	mono? ( dev-lang/mono )"
+	mono? ( dev-lang/mono )
+	doc? ( sys-apps/texinfo )"
 
 RDEPEND="${DEPEND}
 	emacs? ( virtual/emacs )"
@@ -87,6 +88,7 @@ src_compile() {
 	# Build Mercury using bootstrap grade
 	emake \
 		PARALLEL="'${MAKEOPTS}'" \
+		TEXI2DVI="" PDFTEX="" \
 		|| die "emake failed"
 
 	# We can now patch .m Mercury compiler files since we
@@ -106,6 +108,7 @@ src_compile() {
 	emake \
 		PARALLEL="'${MAKEOPTS}'" \
 		MERCURY_COMPILER="${S}"/compiler/mercury_compile \
+		TEXI2DVI="" PDFTEX="" \
 		compiler || die "emake compiler failed"
 
 	# The default Mercury grade may not be the same as the bootstrap
@@ -114,6 +117,7 @@ src_compile() {
 	emake \
 		PARALLEL="'${MAKEOPTS}'" \
 		MERCURY_COMPILER="${S}"/compiler/mercury_compile \
+		TEXI2DVI="" PDFTEX="" \
 		default_grade || die "emake default_grade failed"
 }
 
@@ -158,6 +162,7 @@ src_install() {
 	emake \
 		PARALLEL="'${MAKEOPTS}'" \
 		MERCURY_COMPILER="${S}"/compiler/mercury_compile \
+		TEXI2DVI="" PDFTEX="" \
 		DESTDIR="${D}" \
 		INSTALL_PREFIX="${D}"/usr \
 		INSTALL_MAN_DIR="${D}"/usr/share/man \