1 |
commit: 61d5f30bff79d725a02660bafe72d8a5187b564b |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Fri Jan 21 16:41:31 2022 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri Jan 21 16:42:48 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=61d5f30b |
7 |
|
8 |
app-emacs/lean-mode: new package; add version 20211220 |
9 |
|
10 |
Package-Manager: Portage-3.0.28, Repoman-3.0.3 |
11 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
12 |
|
13 |
app-emacs/lean-mode/Manifest | 1 + |
14 |
app-emacs/lean-mode/files/50lean-mode-gentoo.el | 4 +++ |
15 |
app-emacs/lean-mode/lean-mode-20211220.ebuild | 38 +++++++++++++++++++++++++ |
16 |
app-emacs/lean-mode/metadata.xml | 22 ++++++++++++++ |
17 |
4 files changed, 65 insertions(+) |
18 |
|
19 |
diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest |
20 |
new file mode 100644 |
21 |
index 000000000000..628e448dfb9f |
22 |
--- /dev/null |
23 |
+++ b/app-emacs/lean-mode/Manifest |
24 |
@@ -0,0 +1 @@ |
25 |
+DIST lean-mode-20211220.tar.gz 46406 BLAKE2B ff7663ae41befed9ce30aeeb0462e6877b827367823e97330b18c741db76162f49b0ce0dca58585892d173e91e290d155320f97416ff4306958dd38f1e452e83 SHA512 23f1d24a4ffdcbff0266cf6e3fd6ddefcd6f380ecab6e21a73cfcbb2a281200f3c22482a19b97988af316a3e206ab3069abf4eb3d45a9ccff7e0f18018b1dab5 |
26 |
|
27 |
diff --git a/app-emacs/lean-mode/files/50lean-mode-gentoo.el b/app-emacs/lean-mode/files/50lean-mode-gentoo.el |
28 |
new file mode 100644 |
29 |
index 000000000000..8c6a9a2894ac |
30 |
--- /dev/null |
31 |
+++ b/app-emacs/lean-mode/files/50lean-mode-gentoo.el |
32 |
@@ -0,0 +1,4 @@ |
33 |
+(add-to-list 'load-path "@SITELISP@") |
34 |
+(autoload 'lean-mode "lean-mode" |
35 |
+ "Major mode for editing Lean 3 source files." t) |
36 |
+(add-to-list 'auto-mode-alist '("\\.lean\\'" . lean-mode)) |
37 |
|
38 |
diff --git a/app-emacs/lean-mode/lean-mode-20211220.ebuild b/app-emacs/lean-mode/lean-mode-20211220.ebuild |
39 |
new file mode 100644 |
40 |
index 000000000000..c7be99f3162a |
41 |
--- /dev/null |
42 |
+++ b/app-emacs/lean-mode/lean-mode-20211220.ebuild |
43 |
@@ -0,0 +1,38 @@ |
44 |
+# Copyright 1999-2022 Gentoo Authors |
45 |
+# Distributed under the terms of the GNU General Public License v2 |
46 |
+ |
47 |
+EAPI=8 |
48 |
+ |
49 |
+H=a4205749d20a09871f0951c34f919d4ee5fbdb55 |
50 |
+NEED_EMACS=24.3 |
51 |
+ |
52 |
+inherit elisp |
53 |
+ |
54 |
+DESCRIPTION="Emacs mode for the Lean 3 theorem prover" |
55 |
+HOMEPAGE="https://github.com/leanprover/lean-mode/" |
56 |
+SRC_URI="https://github.com/leanprover/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz" |
57 |
+S="${WORKDIR}/${PN}-${H}" |
58 |
+ |
59 |
+LICENSE="GPL-2+" |
60 |
+SLOT="0" |
61 |
+KEYWORDS="~amd64" |
62 |
+ |
63 |
+DEPEND=" |
64 |
+ >=app-emacs/dash-2.18.1 |
65 |
+ >=app-emacs/f-0.19.0 |
66 |
+ >=app-emacs/flycheck-32 |
67 |
+ >=app-emacs/s-1.10.0 |
68 |
+" |
69 |
+RDEPEND=" |
70 |
+ ${DEPEND} |
71 |
+ sci-mathematics/lean:0/3 |
72 |
+" |
73 |
+ |
74 |
+DOCS=( README.md ) |
75 |
+SITEFILE="50${PN}-gentoo.el" |
76 |
+ |
77 |
+src_prepare() { |
78 |
+ rm {company,helm}-lean.el || die |
79 |
+ |
80 |
+ elisp_src_prepare |
81 |
+} |
82 |
|
83 |
diff --git a/app-emacs/lean-mode/metadata.xml b/app-emacs/lean-mode/metadata.xml |
84 |
new file mode 100644 |
85 |
index 000000000000..679365cf3709 |
86 |
--- /dev/null |
87 |
+++ b/app-emacs/lean-mode/metadata.xml |
88 |
@@ -0,0 +1,22 @@ |
89 |
+<?xml version="1.0" encoding="UTF-8"?> |
90 |
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> |
91 |
+ |
92 |
+<pkgmetadata> |
93 |
+ <maintainer type="person"> |
94 |
+ <email>xgqt@g.o</email> |
95 |
+ <name>Maciej Barć</name> |
96 |
+ </maintainer> |
97 |
+ <maintainer type="project"> |
98 |
+ <email>gnu-emacs@g.o</email> |
99 |
+ <name>Gentoo GNU Emacs project</name> |
100 |
+ </maintainer> |
101 |
+ <longdescription> |
102 |
+ Provides a major mode for the Lean 3 programming language. |
103 |
+ Provides highlighting, diagnostics, goal visualization and many other |
104 |
+ useful features for Lean users. |
105 |
+ </longdescription> |
106 |
+ <upstream> |
107 |
+ <bugs-to>https://github.com/leanprover/lean-mode/issues</bugs-to> |
108 |
+ <remote-id type="github">leanprover/lean-mode</remote-id> |
109 |
+ </upstream> |
110 |
+</pkgmetadata> |