mirror of
https://github.com/gentoo-mirror/guru.git
synced 2025-04-20 00:08:58 -04:00
6ea474d300
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>
29 lines
699 B
Bash
29 lines
699 B
Bash
# Copyright 1999-2021 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=7
|
|
|
|
inherit elisp
|
|
|
|
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 -> ${P}.tar.gz"
|
|
KEYWORDS="~amd64"
|
|
fi
|
|
|
|
DESCRIPTION="Idris syntax highlighting, compiler-supported editing, and interactive REPL"
|
|
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}"
|
|
|
|
SITEFILE="50${PN}-gentoo.el"
|