diff options
Diffstat (limited to 'dev-lang/mercury/mercury-14.01.1-r1.ebuild')
-rw-r--r-- | dev-lang/mercury/mercury-14.01.1-r1.ebuild | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dev-lang/mercury/mercury-14.01.1-r1.ebuild b/dev-lang/mercury/mercury-14.01.1-r1.ebuild index 9ba41fae06f0..3584581c3cea 100644 --- a/dev-lang/mercury/mercury-14.01.1-r1.ebuild +++ b/dev-lang/mercury/mercury-14.01.1-r1.ebuild @@ -5,7 +5,7 @@ EAPI=5 inherit autotools elisp-common eutils flag-o-matic java-pkg-opt-2 multilib vcs-clean xdg-utils -PATCHSET_VER="4" +PATCHSET_VER="5" MY_P=${PN}-srcdist-${PV} DESCRIPTION="Mercury is a modern general-purpose logic/functional programming language" @@ -107,8 +107,7 @@ src_compile() { emake \ PARALLEL="'${MAKEOPTS}'" \ MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" \ - compiler + TEXI2DVI="" PDFTEX="" # The default Mercury grade may not be the same as the bootstrap # grade. Since src_test() is run before src_install() we compile |