Install this version:
emerge -a =app-emacs/idris-mode-1.0If this version is masked, you can unmask it using the autounmask tool or standard emerge options:
autounmask =app-emacs/idris-mode-1.0Or alternatively:
emerge --autounmask-write -a =app-emacs/idris-mode-1.0| Version | EAPI | Keywords | Slot |
|---|---|---|---|
| 1.0 | 7 | ~amd64 | 0 |
# 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"
| Type | File | Size | Source URLs |
|---|---|---|---|
| DIST | idris-mode-1.0.tar.gz | 89451 bytes | https://github.com/idris-hackers/idris-mode/archive/refs/tags/1.0.tar.gz |