diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 21:08:25 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 21:08:25 +0000 |
| commit | c107831b9ebfe892c139cdb68d747eea369d8588 (patch) | |
| tree | 3e2fbc0ea06bf0ea7a5fdf0250036433cd4bc11f /dev-lang/idris2/idris2-0.5.1_p20220920.ebuild | |
| parent | 52895d302231ef73b105756d2781b2262638d566 (diff) | |
gentoo auto-resync : 02:02:2023 - 21:08:25
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" |