diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-10-15 18:39:52 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-10-15 18:47:40 +0200 |
| commit | 2a35e09442f4c53bb611a3b693c8f4dd19984dd2 (patch) | |
| tree | 057d5ff952b1ab3dad7ed691939925a071754ce4 /app-emacs | |
| parent | dev-lang/qu-prolog: add 10.7 (diff) | |
| download | gentoo-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/Manifest | 1 | ||||
| -rw-r--r-- | app-emacs/metamath-mode/files/50metamath-mode-gentoo.el | 4 | ||||
| -rw-r--r-- | app-emacs/metamath-mode/metadata.xml | 14 | ||||
| -rw-r--r-- | app-emacs/metamath-mode/metamath-mode-0_p20221005.ebuild | 21 |
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" |