diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-02-02 18:42:24 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-02-02 18:46:45 +0100 |
| commit | fffb2924f0a58e6ac708731417d7dfa275062c69 (patch) | |
| tree | ae8c745714598201c89e117cfb24a58420aa37c5 /dev-lang/idris2/idris2-0.5.1_p20220920.ebuild | |
| parent | app-emulation/uxn: bump to 0_p20230201 (diff) | |
| download | gentoo-fffb2924f0a58e6ac708731417d7dfa275062c69.tar.gz gentoo-fffb2924f0a58e6ac708731417d7dfa275062c69.tar.bz2 gentoo-fffb2924f0a58e6ac708731417d7dfa275062c69.zip | |
dev-lang/idris2: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/idris2/idris2-0.5.1_p20220920.ebuild')
| -rw-r--r-- | dev-lang/idris2/idris2-0.5.1_p20220920.ebuild | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild index d3ca44e77e3d..7b8da7f699ec 100644 --- a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild +++ b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild @@ -1,9 +1,9 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 -H=1142f73e05fef6a57141b8328944b13872d4135e +[[ ${PV} == *_p20220920 ]] && COMMIT=1142f73e05fef6a57141b8328944b13872d4135e inherit toolchain-funcs @@ -14,9 +14,9 @@ if [[ "${PV}" == *9999* ]] ; then inherit git-r3 EGIT_REPO_URI="https://github.com/idris-lang/${PN^}.git" else - SRC_URI="https://github.com/idris-lang/${PN^}/archive/${H}.tar.gz -> ${P}.tar.gz" + SRC_URI="https://github.com/idris-lang/${PN^}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz" KEYWORDS="~amd64 ~x86" - S="${WORKDIR}/${PN^}-${H}" + S="${WORKDIR}/${PN^}-${COMMIT}" fi LICENSE="BSD" |