blob: 31ee7ef9298a54538b5538a646be651b9456dd3e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# 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"
|
