diff options
| author |   Keri Harris <keri@gentoo.org> | 2018-10-23 09:27:00 +0200 |
|---|---|---|
| committer | Keri Harris <keri@gentoo.org> | 2018-10-23 09:32:20 +0200 |
| commit | c0bf824f276438bbbe039c4b45000a075c56beee (patch) | |
| tree | 448d1fa60e59597c744492adffabd83be72282e0 /dev-lang | |
| parent | dev-libs/crypto++: config using config.h modification (diff) | |
| download | gentoo-c0bf824f276438bbbe039c4b45000a075c56beee.tar.gz gentoo-c0bf824f276438bbbe039c4b45000a075c56beee.tar.bz2 gentoo-c0bf824f276438bbbe039c4b45000a075c56beee.zip | |
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@gentoo.org>
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/mercury/mercury-14.01.1.ebuild | 9 |
1 files 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 ff23c0e2a730..f09175693e3e 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 \ |