1 |
commit: 5d8de28b5685e7d68e5c5b6110f4389aa54a38f5 |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Thu Mar 3 04:42:32 2022 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Mar 3 04:55:06 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5d8de28b |
7 |
|
8 |
sci-mathematics/metamath-databases: new package; add 20220303 (2022.03.03 snapshot) |
9 |
|
10 |
Package-Manager: Portage-3.0.30, Repoman-3.0.3 |
11 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
12 |
|
13 |
sci-mathematics/metamath-databases/Manifest | 1 + |
14 |
sci-mathematics/metamath-databases/metadata.xml | 18 +++++++++ |
15 |
.../metamath-databases-20220303.ebuild | 45 ++++++++++++++++++++++ |
16 |
3 files changed, 64 insertions(+) |
17 |
|
18 |
diff --git a/sci-mathematics/metamath-databases/Manifest b/sci-mathematics/metamath-databases/Manifest |
19 |
new file mode 100644 |
20 |
index 000000000000..f12d5f0932b2 |
21 |
--- /dev/null |
22 |
+++ b/sci-mathematics/metamath-databases/Manifest |
23 |
@@ -0,0 +1 @@ |
24 |
+DIST metamath-databases-20220303.tar.gz 20538855 BLAKE2B 8aa3c505a16d1fac08de5d447eb55e4bc64f5fa53905c1147a17b6e65c87403f2baea9d30699da71f16cc34373f2d9c56c02f3b85327aa9db42af7c5c63db8df SHA512 5f2ca7e299ec3e8dda7739de057c69dcbdd4e23d5853826ac9d6ccabcaa0abf292990eb1925762ff2a5611b32628ed508b6fa4949121e090feaa0c986f3f67ac |
25 |
|
26 |
diff --git a/sci-mathematics/metamath-databases/metadata.xml b/sci-mathematics/metamath-databases/metadata.xml |
27 |
new file mode 100644 |
28 |
index 000000000000..aeb2ac517a10 |
29 |
--- /dev/null |
30 |
+++ b/sci-mathematics/metamath-databases/metadata.xml |
31 |
@@ -0,0 +1,18 @@ |
32 |
+<?xml version="1.0" encoding="UTF-8"?> |
33 |
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> |
34 |
+ |
35 |
+<pkgmetadata> |
36 |
+ <maintainer type="project"> |
37 |
+ <email>sci-mathematics@g.o</email> |
38 |
+ <name>Gentoo Mathematics Project</name> |
39 |
+ </maintainer> |
40 |
+ <longdescription> |
41 |
+ This is a collection of rigorously verified Metamath databases that |
42 |
+ specify mathematical axioms and formal proofs of theorems derived from |
43 |
+ those axioms. |
44 |
+ </longdescription> |
45 |
+ <upstream> |
46 |
+ <bugs-to>https://github.com/metamath/set.mm/issues/</bugs-to> |
47 |
+ <remote-id type="github">metamath/set.mm</remote-id> |
48 |
+ </upstream> |
49 |
+</pkgmetadata> |
50 |
|
51 |
diff --git a/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild b/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild |
52 |
new file mode 100644 |
53 |
index 000000000000..32304b03acd4 |
54 |
--- /dev/null |
55 |
+++ b/sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild |
56 |
@@ -0,0 +1,45 @@ |
57 |
+# Copyright 1999-2022 Gentoo Authors |
58 |
+# Distributed under the terms of the GNU General Public License v2 |
59 |
+ |
60 |
+EAPI=8 |
61 |
+ |
62 |
+H=99d707bc3c600a9d6052a46a7c85f05b74c589a2 |
63 |
+ |
64 |
+DESCRIPTION="Sample databases for Metamath" |
65 |
+HOMEPAGE="http://us.metamath.org/mpeuni/mmset.html" |
66 |
+ |
67 |
+if [[ "${PV}" == *9999* ]] ; then |
68 |
+ inherit git-r3 |
69 |
+ EGIT_REPO_URI="https://github.com/metamath/set.mm.git" |
70 |
+else |
71 |
+ SRC_URI="https://github.com/metamath/set.mm/archive/${H}.tar.gz |
72 |
+ -> ${P}.tar.gz" |
73 |
+ KEYWORDS="~amd64 ~x86" |
74 |
+ S="${WORKDIR}"/set.mm-${H} |
75 |
+fi |
76 |
+ |
77 |
+LICENSE="CC0-1.0" |
78 |
+SLOT="0" |
79 |
+IUSE="doc" |
80 |
+ |
81 |
+RDEPEND="sci-mathematics/metamath" |
82 |
+ |
83 |
+DOCS=( |
84 |
+ CONTRIBUTING.md README.md |
85 |
+ discouraged iset-discouraged |
86 |
+ mmnotes.txt |
87 |
+ other-databases.md verifiers.md |
88 |
+) |
89 |
+ |
90 |
+src_install() { |
91 |
+ insinto /usr/share/metamath |
92 |
+ doins *.mm *.mmts |
93 |
+ |
94 |
+ einstalldocs |
95 |
+ |
96 |
+ if use doc ; then |
97 |
+ docinto html |
98 |
+ dodoc -r people |
99 |
+ dodoc *.html *.svg |
100 |
+ fi |
101 |
+} |