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}" |