gentoo resync : 02.02.2022

5 files changed, 108 insertions, 0 deletions

diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest
new file mode 100644
index 000000000000..0621266ceb19
--- /dev/null
+++ b/app-emacs/lean-mode/Manifest
@@ -0,0 +1,6 @@
+AUX 50lean-mode-gentoo.el 181 BLAKE2B 9221df43fd3d0693dc02e4730972b6b815c1bc14054b9f0394ba370f03471e7bc68bf271dd13ca8b30289dc88743a15c05ce6c0043ff94a8d099408350264fa0 SHA512 36faf0476fae472bc509efc939036b527fecb67685bc5d8ab4887ab205a9ce3a197c001480967e5cd351901d5a9a7ee57a06de3d74a03dbb9c4237cd4d08ccae
+DIST lean-mode-20211220.tar.gz 46406 BLAKE2B ff7663ae41befed9ce30aeeb0462e6877b827367823e97330b18c741db76162f49b0ce0dca58585892d173e91e290d155320f97416ff4306958dd38f1e452e83 SHA512 23f1d24a4ffdcbff0266cf6e3fd6ddefcd6f380ecab6e21a73cfcbb2a281200f3c22482a19b97988af316a3e206ab3069abf4eb3d45a9ccff7e0f18018b1dab5
+DIST lean-mode-20220124.tar.gz 46725 BLAKE2B 3f1f31cd6005570439d609f3cf9565f5adbd124772264ccc301bf8f9dda23d0b023e0afc703cfc572c3faee3498315852873effa3963203d6567ed029a1e14ed SHA512 292193a83847e034625d60825eec669b3d26591fab9e93448fc8e685935db5bfbb3417ae4e8d32facead40d02031b67f15dbaa52f7214b70343e7e677aa3cd6a
+EBUILD lean-mode-20211220.ebuild 724 BLAKE2B 5f45cc8c90e44e408da8661721ea5d9ac62d50014b16b731f0f31399489df0017d00beec55a065b13d9f12b27fdd09a728b9d16f5dfc8e17d56e1c0482615840 SHA512 cdda3d8a603a7ac2918360c0fbab37a4ed1082405c265f053841d48eebc55018c70294ff488d460c7b9a42453e55a8f31a2afa52f7bdd8d4e9bd1067d534e76b
+EBUILD lean-mode-20220124.ebuild 724 BLAKE2B e668952884288fcd7e0a3e7d2be0599117ad34550f4b373fcbf426d91eacce3bd4c582674bcd5dde39bf6e9d32d75e0cbc4c84050723d873e6fd122fabd2819e SHA512 196810f2d7f4ce03b244c27759d6c757a76884a345dfddde68e9bf9684a1e7cee306fbf17b6717a282958d06502f2d4ae83dddce72a4dd2332f6f233e897bc36
+MISC metadata.xml 752 BLAKE2B 769d8c594e6f7636de7257467cee1e4672f31c59e5d77a9df0ec916a14e8d9f2042ef1946179dc5918e30df1cfe87713001b999a25e51324424f34d7c24a957c SHA512 d2ae1d5ba87dc277551812162768c0afc270f228763949c3e2c0560ae94a1d7da8d2d074c4bd87bddc1b8c1cbf0e943df5df4fd6506dc8aeeddf0b1e3f95422c
diff --git a/app-emacs/lean-mode/files/50lean-mode-gentoo.el b/app-emacs/lean-mode/files/50lean-mode-gentoo.el
new file mode 100644
index 000000000000..8c6a9a2894ac
--- /dev/null
+++ b/app-emacs/lean-mode/files/50lean-mode-gentoo.el
@@ -0,0 +1,4 @@
+(add-to-list 'load-path "@SITELISP@")
+(autoload 'lean-mode "lean-mode"
+  "Major mode for editing Lean 3 source files." t)
+(add-to-list 'auto-mode-alist '("\\.lean\\'" . lean-mode))
diff --git a/app-emacs/lean-mode/lean-mode-20211220.ebuild b/app-emacs/lean-mode/lean-mode-20211220.ebuild
new file mode 100644
index 000000000000..c7be99f3162a
--- /dev/null
+++ b/app-emacs/lean-mode/lean-mode-20211220.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=a4205749d20a09871f0951c34f919d4ee5fbdb55
+NEED_EMACS=24.3
+
+inherit elisp
+
+DESCRIPTION="Emacs mode for the Lean 3 theorem prover"
+HOMEPAGE="https://github.com/leanprover/lean-mode/"
+SRC_URI="https://github.com/leanprover/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${H}"
+
+LICENSE="GPL-2+"
+SLOT="0"
+KEYWORDS="~amd64"
+
+DEPEND="
+	>=app-emacs/dash-2.18.1
+	>=app-emacs/f-0.19.0
+	>=app-emacs/flycheck-32
+	>=app-emacs/s-1.10.0
+"
+RDEPEND="
+	${DEPEND}
+	sci-mathematics/lean:0/3
+"
+
+DOCS=( README.md )
+SITEFILE="50${PN}-gentoo.el"
+
+src_prepare() {
+	rm {company,helm}-lean.el || die
+
+	elisp_src_prepare
+}
diff --git a/app-emacs/lean-mode/lean-mode-20220124.ebuild b/app-emacs/lean-mode/lean-mode-20220124.ebuild
new file mode 100644
index 000000000000..3420a309e515
--- /dev/null
+++ b/app-emacs/lean-mode/lean-mode-20220124.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=c1c68cc946eb31b6ba8faefdceffce1f77ca52df
+NEED_EMACS=24.3
+
+inherit elisp
+
+DESCRIPTION="Emacs mode for the Lean 3 theorem prover"
+HOMEPAGE="https://github.com/leanprover/lean-mode/"
+SRC_URI="https://github.com/leanprover/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${H}"
+
+LICENSE="GPL-2+"
+SLOT="0"
+KEYWORDS="~amd64"
+
+DEPEND="
+	>=app-emacs/dash-2.18.1
+	>=app-emacs/f-0.19.0
+	>=app-emacs/flycheck-32
+	>=app-emacs/s-1.10.0
+"
+RDEPEND="
+	${DEPEND}
+	sci-mathematics/lean:0/3
+"
+
+DOCS=( README.md )
+SITEFILE="50${PN}-gentoo.el"
+
+src_prepare() {
+	rm {company,helm}-lean.el || die
+
+	elisp_src_prepare
+}
diff --git a/app-emacs/lean-mode/metadata.xml b/app-emacs/lean-mode/metadata.xml
new file mode 100644
index 000000000000..679365cf3709
--- /dev/null
+++ b/app-emacs/lean-mode/metadata.xml
@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="person">
+    <email>xgqt@gentoo.org</email>
+    <name>Maciej Barć</name>
+  </maintainer>
+  <maintainer type="project">
+    <email>gnu-emacs@gentoo.org</email>
+    <name>Gentoo GNU Emacs project</name>
+  </maintainer>
+  <longdescription>
+    Provides a major mode for the Lean 3 programming language.
+    Provides highlighting, diagnostics, goal visualization and many other
+    useful features for Lean users.
+  </longdescription>
+  <upstream>
+    <bugs-to>https://github.com/leanprover/lean-mode/issues</bugs-to>
+    <remote-id type="github">leanprover/lean-mode</remote-id>
+  </upstream>
+</pkgmetadata>