mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-04-07 03:10:15 -04:00
Code Issues Packages Projects Releases Wiki Activity

app-emacs/idris-mode: Disable tests

Browse Source 
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@offtopica.uk>
This commit is contained in:
Matt Smith
2021-06-20 18:01:38 +01:00
parent 3937855cf1
commit 6ea474d300
3 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
app-emacs/idris-mode/Manifest
View File

@@ -1 +1 @@
DIST 1.0.tar.gz 89451 BLAKE2B fc64378dfd113f21b4341143f48ebcf5ae070f312504d9b526f96068e67126b9603826ee8eca3d68629b8fd67ec182d959358efc49fb4cc366ce73b1a6e13ff8 SHA512 f449354ca943fadbee9c07ec1cf109584266d97c5819ab8ead4941d7395c898861b8ba52f0dbeb1986b61294473d55e5f03e8268fc9e998e6228d515bd31fb77
DIST idris-mode-1.0.tar.gz 89451 BLAKE2B fc64378dfd113f21b4341143f48ebcf5ae070f312504d9b526f96068e67126b9603826ee8eca3d68629b8fd67ec182d959358efc49fb4cc366ce73b1a6e13ff8 SHA512 f449354ca943fadbee9c07ec1cf109584266d97c5819ab8ead4941d7395c898861b8ba52f0dbeb1986b61294473d55e5f03e8268fc9e998e6228d515bd31fb77

6
app-emacs/idris-mode/idris-mode-1.0.ebuild
View File

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

6
app-emacs/idris-mode/idris-mode-9999.ebuild
View File

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