commit: 3a4a28fe33a8bba17620d4e45806fcba433a8b41
Author: Matt Smith <matt <AT> offtopica <DOT> uk>
AuthorDate: Sun Jun 20 10:43:14 2021 +0000
Commit: Matt Smith <matt <AT> offtopica <DOT> uk>
CommitDate: Sun Jun 20 10:43:28 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=3a4a28fe
app-emacs/idris-mode: Init at 1.0
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Matt Smith <matt <AT> offtopica.uk>
app-emacs/idris-mode/Manifest | 1 +
app-emacs/idris-mode/files/50idris-mode-gentoo.el | 3 +++
app-emacs/idris-mode/idris-mode-1.0.ebuild | 26 +++++++++++++++++++++++
app-emacs/idris-mode/idris-mode-9999.ebuild | 26 +++++++++++++++++++++++
app-emacs/idris-mode/metadata.xml | 22 +++++++++++++++++++
5 files changed, 78 insertions(+)
diff --git a/app-emacs/idris-mode/Manifest b/app-emacs/idris-mode/Manifest
new file mode 100644
index 000000000..09c7bde3a
--- /dev/null
+++ b/app-emacs/idris-mode/Manifest
@@ -0,0 +1 @@
+DIST 1.0.tar.gz 89451 BLAKE2B
fc64378dfd113f21b4341143f48ebcf5ae070f312504d9b526f96068e67126b9603826ee8eca3d68629b8fd67ec182d959358efc49fb4cc366ce73b1a6e13ff8
SHA512
f449354ca943fadbee9c07ec1cf109584266d97c5819ab8ead4941d7395c898861b8ba52f0dbeb1986b61294473d55e5f03e8268fc9e998e6228d515bd31fb77
diff --git a/app-emacs/idris-mode/files/50idris-mode-gentoo.el
b/app-emacs/idris-mode/files/50idris-mode-gentoo.el
new file mode 100644
index 000000000..31b181918
--- /dev/null
+++ b/app-emacs/idris-mode/files/50idris-mode-gentoo.el
@@ -0,0 +1,3 @@
+(add-to-list 'load-path "@SITELISP@")
+(add-to-list 'auto-mode-alist '("\\.idr\\'" . idris-mode))
+(autoload 'idris-mode "idris-mode" nil t)
diff --git a/app-emacs/idris-mode/idris-mode-1.0.ebuild
b/app-emacs/idris-mode/idris-mode-1.0.ebuild
new file mode 100644
index 000000000..4986726e2
--- /dev/null
+++ b/app-emacs/idris-mode/idris-mode-1.0.ebuild
@@ -0,0 +1,26 @@
+# 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";
+ KEYWORDS="~amd64"
+ S=""
+fi
+
+DESCRIPTION="Idris syntax highlighting, compiler-supported editing, and
interactive REPL"
+HOMEPAGE="https://github.com/idris-hackers/idris-mode";
+
+LICENSE="GPL-3+"
+SLOT="0"
+
+RDEPEND="app-emacs/prop-menu"
+BDEPEND="${RDEPEND}"
+
+SITEFILE="50${PN}-gentoo.el"
diff --git a/app-emacs/idris-mode/idris-mode-9999.ebuild
b/app-emacs/idris-mode/idris-mode-9999.ebuild
new file mode 100644
index 000000000..4986726e2
--- /dev/null
+++ b/app-emacs/idris-mode/idris-mode-9999.ebuild
@@ -0,0 +1,26 @@
+# 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";
+ KEYWORDS="~amd64"
+ S=""
+fi
+
+DESCRIPTION="Idris syntax highlighting, compiler-supported editing, and
interactive REPL"
+HOMEPAGE="https://github.com/idris-hackers/idris-mode";
+
+LICENSE="GPL-3+"
+SLOT="0"
+
+RDEPEND="app-emacs/prop-menu"
+BDEPEND="${RDEPEND}"
+
+SITEFILE="50${PN}-gentoo.el"
diff --git a/app-emacs/idris-mode/metadata.xml
b/app-emacs/idris-mode/metadata.xml
new file mode 100644
index 000000000..d99760071
--- /dev/null
+++ b/app-emacs/idris-mode/metadata.xml
@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";>
+<pkgmetadata>
+ <maintainer type="person">
+ <email>[email protected]</email>
+ <name>Matt Smith</name>
+ </maintainer>
+ <longdescription lang="en">
+ This is an emacs mode for editing Idris code.
+
+ This mode was original designed to work with version 1 of the
+ language through an IDE-Protocol. Idris2 uses the next iteration
+ of the same protocol. Idris-mode tries to maintain compatibility
+ with both protocol versions, however, not all the features from
+ the IDE-Protocol have been realised in Idris2. When using
+ idris-mode with Idris2 your experience might be a bit clunky.
+ </longdescription>
+ <upstream>
+ <remote-id type="github">idris-hackers/idris-mode</remote-id>
+ </upstream>
+ <stabilize-allarches/>
+</pkgmetadata>
