[gentoo-commits] repo/proj/guru:dev commit in: app-emacs/idris-mode/

[gentoo-commits] repo/proj/guru:dev commit in: app-emacs/idris-mode/

[Matt Smith]

commit:     6ea474d30038c1cb8d45f0a7edd2c3db75160f61
Author:     Matt Smith <matt <AT> offtopica <DOT> uk>
AuthorDate: Sun Jun 20 17:01:38 2021 +0000
Commit:     Matt Smith <matt <AT> offtopica <DOT> uk>
CommitDate: Sun Jun 20 17:01:38 2021 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=6ea474d3

app-emacs/idris-mode: Disable tests

Tests require Idris, which is not yet packaged.  Also fix the tarball name.

Closes: https://bugs.gentoo.org/796971
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Matt Smith <matt <AT> offtopica.uk>

 app-emacs/idris-mode/Manifest               | 2 +-
 app-emacs/idris-mode/idris-mode-1.0.ebuild  | 6 ++++--
 app-emacs/idris-mode/idris-mode-9999.ebuild | 6 ++++--
 3 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/app-emacs/idris-mode/Manifest b/app-emacs/idris-mode/Manifest
index 09c7bde3a..0ffea39b3 100644
--- a/app-emacs/idris-mode/Manifest
+++ b/app-emacs/idris-mode/Manifest
@@ -1 +1 @@
-DIST 1.0.tar.gz 89451 BLAKE2B fc64378dfd113f21b4341143f48ebcf5ae070f312504d9b526f96068e67126b9603826ee8eca3d68629b8fd67ec182d959358efc49fb4cc366ce73b1a6e13ff8 SHA512 f449354ca943fadbee9c07ec1cf109584266d97c5819ab8ead4941d7395c898861b8ba52f0dbeb1986b61294473d55e5f03e8268fc9e998e6228d515bd31fb77
+DIST idris-mode-1.0.tar.gz 89451 BLAKE2B fc64378dfd113f21b4341143f48ebcf5ae070f312504d9b526f96068e67126b9603826ee8eca3d68629b8fd67ec182d959358efc49fb4cc366ce73b1a6e13ff8 SHA512 f449354ca943fadbee9c07ec1cf109584266d97c5819ab8ead4941d7395c898861b8ba52f0dbeb1986b61294473d55e5f03e8268fc9e998e6228d515bd31fb77

diff --git a/app-emacs/idris-mode/idris-mode-1.0.ebuild b/app-emacs/idris-mode/idris-mode-1.0.ebuild
index 4986726e2..31ee7ef92 100644
--- a/app-emacs/idris-mode/idris-mode-1.0.ebuild
+++ b/app-emacs/idris-mode/idris-mode-1.0.ebuild
@@ -9,9 +9,8 @@ if [[ "${PV}" == "9999" ]]; then
 	inherit git-r3
 	EGIT_REPO_URI="https://github.com/idris-hackers/idris-mode.git"
 else
-	SRC_URI="https://github.com/idris-hackers/idris-mode/archive/refs/tags/${PV}.tar.gz"
+	SRC_URI="https://github.com/idris-hackers/idris-mode/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz"
 	KEYWORDS="~amd64"
-	S=""
 fi
 
 DESCRIPTION="Idris syntax highlighting, compiler-supported editing, and interactive REPL"
@@ -20,6 +19,9 @@ HOMEPAGE="https://github.com/idris-hackers/idris-mode"
 LICENSE="GPL-3+"
 SLOT="0"
 
+# Tests require idris executable, which is not packaged.
+RESTRICT="test"
+
 RDEPEND="app-emacs/prop-menu"
 BDEPEND="${RDEPEND}"
 

diff --git a/app-emacs/idris-mode/idris-mode-9999.ebuild b/app-emacs/idris-mode/idris-mode-9999.ebuild
index 4986726e2..31ee7ef92 100644
--- a/app-emacs/idris-mode/idris-mode-9999.ebuild
+++ b/app-emacs/idris-mode/idris-mode-9999.ebuild
@@ -9,9 +9,8 @@ if [[ "${PV}" == "9999" ]]; then
 	inherit git-r3
 	EGIT_REPO_URI="https://github.com/idris-hackers/idris-mode.git"
 else
-	SRC_URI="https://github.com/idris-hackers/idris-mode/archive/refs/tags/${PV}.tar.gz"
+	SRC_URI="https://github.com/idris-hackers/idris-mode/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz"
 	KEYWORDS="~amd64"
-	S=""
 fi
 
 DESCRIPTION="Idris syntax highlighting, compiler-supported editing, and interactive REPL"
@@ -20,6 +19,9 @@ HOMEPAGE="https://github.com/idris-hackers/idris-mode"
 LICENSE="GPL-3+"
 SLOT="0"
 
+# Tests require idris executable, which is not packaged.
+RESTRICT="test"
+
 RDEPEND="app-emacs/prop-menu"
 BDEPEND="${RDEPEND}"
 

[gentoo-commits] repo/proj/guru:dev commit in: app-emacs/idris-mode/

[Matthew Smith]

commit:     f3c71c8eaeb90eba128f8933e35ffc1eae2d35a3
Author:     Matthew Smith <matthew <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 13 20:10:56 2022 +0000
Commit:     Matthew Smith <matthew <AT> gentoo <DOT> org>
CommitDate: Sun Feb 13 20:34:08 2022 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=f3c71c8e

app-emacs/idris-mode: drop to maintainer-needed

Signed-off-by: Matthew Smith <matthew <AT> gentoo.org>

 app-emacs/idris-mode/metadata.xml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/app-emacs/idris-mode/metadata.xml b/app-emacs/idris-mode/metadata.xml
index d99760071..b12f2a1ff 100644
--- a/app-emacs/idris-mode/metadata.xml
+++ b/app-emacs/idris-mode/metadata.xml
@@ -1,10 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-  <maintainer type="person">
-    <email>matt@offtopica.uk</email>
-    <name>Matt Smith</name>
-  </maintainer>
+  <!-- maintainer-needed -->
   <longdescription lang="en">
     This is an emacs mode for editing Idris code.