From: | "Maciej Barć" <xgqt@××××××.net> |
---|---|
To: | gentoo-commits@l.g.o |
Subject: | [gentoo-commits] repo/proj/guru:dev commit in: dev-lang/lean/ |
Date: | Wed, 20 Oct 2021 22:06:53 |
Message-Id: | 1634767576.cb04649b4cb80cbdaf9992ef2b023100ba61be42.xgqt@gentoo |
1 | commit: cb04649b4cb80cbdaf9992ef2b023100ba61be42 |
2 | Author: Maciej Barć <xgqt <AT> riseup <DOT> net> |
3 | AuthorDate: Wed Oct 20 21:58:01 2021 +0000 |
4 | Commit: Maciej Barć <xgqt <AT> riseup <DOT> net> |
5 | CommitDate: Wed Oct 20 22:06:16 2021 +0000 |
6 | URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=cb04649b |
7 | |
8 | dev-lang/lean: add subslot |
9 | |
10 | Package-Manager: Portage-3.0.20, Repoman-3.0.3 |
11 | Signed-off-by: Maciej Barć <xgqt <AT> riseup.net> |
12 | |
13 | dev-lang/lean/lean-3.33.0.ebuild | 4 +++- |
14 | 1 file changed, 3 insertions(+), 1 deletion(-) |
15 | |
16 | diff --git a/dev-lang/lean/lean-3.33.0.ebuild b/dev-lang/lean/lean-3.33.0.ebuild |
17 | index ade8a9dae..31967bcd4 100644 |
18 | --- a/dev-lang/lean/lean-3.33.0.ebuild |
19 | +++ b/dev-lang/lean/lean-3.33.0.ebuild |
20 | @@ -11,9 +11,11 @@ DESCRIPTION="The Lean Theorem Prover" |
21 | HOMEPAGE="https://leanprover-community.github.io/" |
22 | |
23 | if [[ "${PV}" == *9999* ]]; then |
24 | + MAJOR=3 # sync this periodically for the live version |
25 | inherit git-r3 |
26 | EGIT_REPO_URI="https://github.com/leanprover-community/lean.git" |
27 | else |
28 | + MAJOR=$(ver_cut 1) |
29 | SRC_URI="https://github.com/leanprover-community/lean/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz" |
30 | KEYWORDS="~amd64" |
31 | fi |
32 | @@ -21,7 +23,7 @@ S="${WORKDIR}/lean-${PV}/src" |
33 | |
34 | RESTRICT="!test? ( test )" |
35 | LICENSE="Apache-2.0" |
36 | -SLOT="0" |
37 | +SLOT="0/${MAJOR}" |
38 | IUSE="+json test +threads" |
39 | |
40 | RDEPEND="dev-libs/gmp" |