diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-04-12 03:41:30 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-04-12 03:41:30 +0100 |
commit | 623ee73d661e5ed8475cb264511f683407d87365 (patch) | |
tree | 993eb27c93ec7a2d2d19550300d888fc1fed9e69 /dev-lang/mercury/mercury-14.01.1-r1.ebuild | |
parent | ceeeb463cc1eef97fd62eaee8bf2196ba04bc384 (diff) |
gentoo Easter resync : 12.04.2020
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 |