summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-10-15 18:39:52 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-10-15 18:47:40 +0200
commit2a35e09442f4c53bb611a3b693c8f4dd19984dd2 (patch)
tree057d5ff952b1ab3dad7ed691939925a071754ce4 /app-emacs
parentdev-lang/qu-prolog: add 10.7 (diff)
downloadgentoo-2a35e09442f4c53bb611a3b693c8f4dd19984dd2.tar.gz
gentoo-2a35e09442f4c53bb611a3b693c8f4dd19984dd2.tar.bz2
gentoo-2a35e09442f4c53bb611a3b693c8f4dd19984dd2.zip
app-emacs/metamath-mode: new package; add 0_p20221005
2022.10.05 snapshot Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs')
-rw-r--r--app-emacs/metamath-mode/Manifest1
-rw-r--r--app-emacs/metamath-mode/files/50metamath-mode-gentoo.el4
-rw-r--r--app-emacs/metamath-mode/metadata.xml14
-rw-r--r--app-emacs/metamath-mode/metamath-mode-0_p20221005.ebuild21
4 files changed, 40 insertions, 0 deletions
diff --git a/app-emacs/metamath-mode/Manifest b/app-emacs/metamath-mode/Manifest
new file mode 100644
index 000000000000..e77c15064768
--- /dev/null
+++ b/app-emacs/metamath-mode/Manifest
@@ -0,0 +1 @@
+DIST metamath-mode-0_p20221005.tar.gz 1490 BLAKE2B fabb0c6c69306e6998a144d19774d442c5803446218607f62c134d5912a891ffa09cedf06c19e16a05cf3790528ba4063054540834ecab42d6852068b88be682 SHA512 39b5dd4a3967ecdc29d7637fc592c9fd398d0fe3c12344e1930fc5082057f3cb78e564319655d063fce62bc4b9581fad7debb5cb4085e5cc642a7d9d7ccede45
diff --git a/app-emacs/metamath-mode/files/50metamath-mode-gentoo.el b/app-emacs/metamath-mode/files/50metamath-mode-gentoo.el
new file mode 100644
index 000000000000..fd0d03a31115
--- /dev/null
+++ b/app-emacs/metamath-mode/files/50metamath-mode-gentoo.el
@@ -0,0 +1,4 @@
+(add-to-list 'load-path "@SITELISP@")
+(autoload 'metamath-mode "metamath-mode"
+ "Major mode for editing metamath files" t)
+(add-to-list 'auto-mode-alist '("\\.mm\\'" . metamath-mode))
diff --git a/app-emacs/metamath-mode/metadata.xml b/app-emacs/metamath-mode/metadata.xml
new file mode 100644
index 000000000000..946548fce536
--- /dev/null
+++ b/app-emacs/metamath-mode/metadata.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>gnu-emacs@gentoo.org</email>
+ <name>Gentoo GNU Emacs project</name>
+ </maintainer>
+ <stabilize-allarches />
+ <upstream>
+ <bugs-to>https://github.com/samrushing/metamath-mode/issues/</bugs-to>
+ <remote-id type="github">samrushing/metamath-mode</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/app-emacs/metamath-mode/metamath-mode-0_p20221005.ebuild b/app-emacs/metamath-mode/metamath-mode-0_p20221005.ebuild
new file mode 100644
index 000000000000..4bb809ed1bad
--- /dev/null
+++ b/app-emacs/metamath-mode/metamath-mode-0_p20221005.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=85bd63b88378e9f2dee2f7d5585ec6610bf098a6
+
+inherit elisp
+
+DESCRIPTION="Major GNU Emacs mode for metamath files"
+HOMEPAGE="https://github.com/samrushing/metamath-mode/"
+SRC_URI="https://github.com/samrushing/${PN}/archive/${H}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${H}
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+DOCS=( README.md )
+SITEFILE="50${PN}-gentoo.el"