Gentoo Archives: gentoo-commits

From: Matt Smith <matt@×××××××××.uk>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/proj/guru:dev commit in: app-emacs/idris-mode/
Date: Sun, 20 Jun 2021 17:01:49
Message-Id: 1624208498.6ea474d30038c1cb8d45f0a7edd2c3db75160f61.MattSmith@gentoo
1 commit: 6ea474d30038c1cb8d45f0a7edd2c3db75160f61
2 Author: Matt Smith <matt <AT> offtopica <DOT> uk>
3 AuthorDate: Sun Jun 20 17:01:38 2021 +0000
4 Commit: Matt Smith <matt <AT> offtopica <DOT> uk>
5 CommitDate: Sun Jun 20 17:01:38 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=6ea474d3
7
8 app-emacs/idris-mode: Disable tests
9
10 Tests require Idris, which is not yet packaged. Also fix the tarball name.
11
12 Closes: https://bugs.gentoo.org/796971
13 Package-Manager: Portage-3.0.20, Repoman-3.0.3
14 Signed-off-by: Matt Smith <matt <AT> offtopica.uk>
15
16 app-emacs/idris-mode/Manifest | 2 +-
17 app-emacs/idris-mode/idris-mode-1.0.ebuild | 6 ++++--
18 app-emacs/idris-mode/idris-mode-9999.ebuild | 6 ++++--
19 3 files changed, 9 insertions(+), 5 deletions(-)
20
21 diff --git a/app-emacs/idris-mode/Manifest b/app-emacs/idris-mode/Manifest
22 index 09c7bde3a..0ffea39b3 100644
23 --- a/app-emacs/idris-mode/Manifest
24 +++ b/app-emacs/idris-mode/Manifest
25 @@ -1 +1 @@
26 -DIST 1.0.tar.gz 89451 BLAKE2B fc64378dfd113f21b4341143f48ebcf5ae070f312504d9b526f96068e67126b9603826ee8eca3d68629b8fd67ec182d959358efc49fb4cc366ce73b1a6e13ff8 SHA512 f449354ca943fadbee9c07ec1cf109584266d97c5819ab8ead4941d7395c898861b8ba52f0dbeb1986b61294473d55e5f03e8268fc9e998e6228d515bd31fb77
27 +DIST idris-mode-1.0.tar.gz 89451 BLAKE2B fc64378dfd113f21b4341143f48ebcf5ae070f312504d9b526f96068e67126b9603826ee8eca3d68629b8fd67ec182d959358efc49fb4cc366ce73b1a6e13ff8 SHA512 f449354ca943fadbee9c07ec1cf109584266d97c5819ab8ead4941d7395c898861b8ba52f0dbeb1986b61294473d55e5f03e8268fc9e998e6228d515bd31fb77
28
29 diff --git a/app-emacs/idris-mode/idris-mode-1.0.ebuild b/app-emacs/idris-mode/idris-mode-1.0.ebuild
30 index 4986726e2..31ee7ef92 100644
31 --- a/app-emacs/idris-mode/idris-mode-1.0.ebuild
32 +++ b/app-emacs/idris-mode/idris-mode-1.0.ebuild
33 @@ -9,9 +9,8 @@ if [[ "${PV}" == "9999" ]]; then
34 inherit git-r3
35 EGIT_REPO_URI="https://github.com/idris-hackers/idris-mode.git"
36 else
37 - SRC_URI="https://github.com/idris-hackers/idris-mode/archive/refs/tags/${PV}.tar.gz"
38 + SRC_URI="https://github.com/idris-hackers/idris-mode/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz"
39 KEYWORDS="~amd64"
40 - S=""
41 fi
42
43 DESCRIPTION="Idris syntax highlighting, compiler-supported editing, and interactive REPL"
44 @@ -20,6 +19,9 @@ HOMEPAGE="https://github.com/idris-hackers/idris-mode"
45 LICENSE="GPL-3+"
46 SLOT="0"
47
48 +# Tests require idris executable, which is not packaged.
49 +RESTRICT="test"
50 +
51 RDEPEND="app-emacs/prop-menu"
52 BDEPEND="${RDEPEND}"
53
54
55 diff --git a/app-emacs/idris-mode/idris-mode-9999.ebuild b/app-emacs/idris-mode/idris-mode-9999.ebuild
56 index 4986726e2..31ee7ef92 100644
57 --- a/app-emacs/idris-mode/idris-mode-9999.ebuild
58 +++ b/app-emacs/idris-mode/idris-mode-9999.ebuild
59 @@ -9,9 +9,8 @@ if [[ "${PV}" == "9999" ]]; then
60 inherit git-r3
61 EGIT_REPO_URI="https://github.com/idris-hackers/idris-mode.git"
62 else
63 - SRC_URI="https://github.com/idris-hackers/idris-mode/archive/refs/tags/${PV}.tar.gz"
64 + SRC_URI="https://github.com/idris-hackers/idris-mode/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz"
65 KEYWORDS="~amd64"
66 - S=""
67 fi
68
69 DESCRIPTION="Idris syntax highlighting, compiler-supported editing, and interactive REPL"
70 @@ -20,6 +19,9 @@ HOMEPAGE="https://github.com/idris-hackers/idris-mode"
71 LICENSE="GPL-3+"
72 SLOT="0"
73
74 +# Tests require idris executable, which is not packaged.
75 +RESTRICT="test"
76 +
77 RDEPEND="app-emacs/prop-menu"
78 BDEPEND="${RDEPEND}"