diff options
Diffstat (limited to 'dev-lang/mercury')
| -rw-r--r-- | dev-lang/mercury/Manifest | 4 | ||||
| -rw-r--r-- | dev-lang/mercury/mercury-22.01.1-r1.ebuild (renamed from dev-lang/mercury/mercury-22.01.1.ebuild) | 22 | ||||
| -rw-r--r-- | dev-lang/mercury/metadata.xml | 3 |
3 files changed, 17 insertions, 12 deletions
diff --git a/dev-lang/mercury/Manifest b/dev-lang/mercury/Manifest index daa15a0e809a..34743fb3f176 100644 --- a/dev-lang/mercury/Manifest +++ b/dev-lang/mercury/Manifest @@ -1,5 +1,5 @@ AUX 50mercury-gentoo.el 130 BLAKE2B b0108f529cbe5b66b510b2ebab6f091825df9ac92dc1d98bc98b34532b6c217ea5ede7bc5960f6616c3a8201788c6a5094b30871fba15e5ded87eb97ab3f7c1f SHA512 e790f1b396f63bf36e57160d588b1377d3f889156446a7d26a6edd3f7175ee8ac5b8972ee4d0b6045b5442ae750341b5e06adc42f094fd6d08f2b519f4432071 DIST mercury-22.01.1-gentoo-patchset-2.tar.gz 4975 BLAKE2B 73dfe5688f7f2c44ee236e3b9fd38811afecc7f8f4dd8f0694c2c3f27ce20a74aade3678bb3a16f7bcfc1fc8b07e518a5954802e410a3f566c00df7898800675 SHA512 16319d2e78af5cb73f67555c1498b277e8c6435cfe4e62fc87817cf06f04deadfad6f8264a5270100aaf6985866b879e9b7c69d3c1839c25d36ca2506bbabd72 DIST mercury-srcdist-22.01.1.tar.gz 48956249 BLAKE2B 0f5a7662327f27c27a4d9e421f71afa58920f6232093452781124817ce5c34d1953a80a08b75e95101a7e2e88159b7d4ead08d25c67a99abcb908a9582af2bab SHA512 5fa49640307233ea0f641488e5ea526385e52833007a31469e083711b63925ca7568d7ad6e09301ddf7816384a080546bc4cf46b1422f974e008917d1aa4f37a -EBUILD mercury-22.01.1.ebuild 5109 BLAKE2B cfb43b3ebeb96dd1e38aef5aaef378fc87855464f9bf646d1d7c1c9a79b43bfcbeb1f48cbcea4c9c15ed915fe369d2fe54635828185362180f3a4176e96b0707 SHA512 ab82b96041a805983ceeda728d635bdc02b1cac5ae7724580af75763d09378fc270dd518d7e6af9745009023379f25b835bd84f2cc917351f848cbd19a7da021 -MISC metadata.xml 245 BLAKE2B 8b9b3b37eb7968bc70470ad8ca3558be11ba639523d6f6eda4ca477f5205e0af09337b86ca7139da797316f3d169293f45346f0a7f5357f3759257c36d77717a SHA512 61633840e25872835cd4cb6662b6a1416a9cc3e5d37f49503e8de62e8429fd6f95e4b2432118222073e795081bfcebdd66bdd911724f162b6ac50013e34ac786 +EBUILD mercury-22.01.1-r1.ebuild 5147 BLAKE2B ae5fcc06a16b1dc713921c87e181832e10648654c3da4b6050dc794733681b1e24b0e34059e13228c4b4d69c6c16ad06a76e277cdd96ab56dd87084384c79c59 SHA512 621540d6f729f925eb8d8e0efb17073095a95f6c49d0b08441c7656ba6e0fed92936dede262878c0cfb2ffd66abf292c4a6c543cd0c9af6518ccadaa369c2187 +MISC metadata.xml 338 BLAKE2B 82866c17c57d8e99549fcf1fb054f70a249d9618bb92468d9eba1f17995c30a07f4e5be75e4b9c6d32b405cdfcf40868d389d791e0c4e016feb45426be2b0aa0 SHA512 d428c6c8993259a651d5bf668cec87011fb04364d1e1243d4bb52326416c1cfd3d97e61b5f514f7f74461598426cc72b07ec4d7f47fd520cd47c2002fb870493 diff --git a/dev-lang/mercury/mercury-22.01.1.ebuild b/dev-lang/mercury/mercury-22.01.1-r1.ebuild index b56c538277e8..d992abd8eb01 100644 --- a/dev-lang/mercury/mercury-22.01.1.ebuild +++ b/dev-lang/mercury/mercury-22.01.1-r1.ebuild @@ -1,17 +1,18 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 -inherit autotools elisp-common flag-o-matic java-pkg-opt-2 multilib vcs-clean xdg-utils +inherit autotools elisp-common flag-o-matic java-pkg-opt-2 vcs-clean xdg-utils PATCHSET_VER="2" MY_P=${PN}-srcdist-${PV} DESCRIPTION="Mercury is a modern general-purpose logic/functional programming language" -HOMEPAGE="https://www.mercurylang.org/index.html" +HOMEPAGE="https://mercurylang.org" SRC_URI="https://dl.mercurylang.org/release/${MY_P}.tar.gz https://dev.gentoo.org/~keri/distfiles/mercury/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz" +S="${WORKDIR}"/${MY_P} LICENSE="GPL-2 LGPL-2" SLOT="0" @@ -20,18 +21,19 @@ KEYWORDS="amd64 x86" IUSE="debug doc emacs examples java mono profile readline test threads trail" RESTRICT="!test? ( test )" -DEPEND="net-libs/libnsl:0= +COMMON_DEP="net-libs/libnsl:0= readline? ( sys-libs/readline:= ) - java? ( >=virtual/jdk-1.8:* ) mono? ( dev-lang/mono ) doc? ( sys-apps/texinfo )" -RDEPEND="${DEPEND} - emacs? ( >=app-editors/emacs-23.1:* )" +DEPEND="${COMMON_DEP} + java? ( >=virtual/jdk-1.8:* )" -BDEPEND="test? ( sys-libs/timezone-data )" +RDEPEND="${COMMON_DEP} + emacs? ( >=app-editors/emacs-23.1:* ) + java? ( >=virtual/jre-1.8:* )" -S="${WORKDIR}"/${MY_P} +BDEPEND="test? ( sys-libs/timezone-data )" SITEFILE=50${PN}-gentoo.el diff --git a/dev-lang/mercury/metadata.xml b/dev-lang/mercury/metadata.xml index 5061e4f27e59..3695e0c64d9e 100644 --- a/dev-lang/mercury/metadata.xml +++ b/dev-lang/mercury/metadata.xml @@ -5,4 +5,7 @@ <use> <flag name="trail">Support Mercury trail grades</flag> </use> + <upstream> + <remote-id type="github">Mercury-Language/mercury</remote-id> + </upstream> </pkgmetadata> |