1 |
commit: 186ac057cc23363f7d000b252894af4225ae08f1 |
2 |
Author: Maciej Barć <xgqt <AT> riseup <DOT> net> |
3 |
AuthorDate: Wed Oct 20 21:18:44 2021 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> riseup <DOT> net> |
5 |
CommitDate: Wed Oct 20 21:35:14 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=186ac057 |
7 |
|
8 |
sci-mathematics/mathlib-tools: add version 1.1.0 |
9 |
|
10 |
Package-Manager: Portage-3.0.20, Repoman-3.0.3 |
11 |
Signed-off-by: Maciej Barć <xgqt <AT> riseup.net> |
12 |
|
13 |
sci-mathematics/mathlib-tools/Manifest | 1 + |
14 |
.../mathlib-tools/mathlib-tools-1.1.0.ebuild | 43 ++++++++++++++++++++++ |
15 |
sci-mathematics/mathlib-tools/metadata.xml | 19 ++++++++++ |
16 |
3 files changed, 63 insertions(+) |
17 |
|
18 |
diff --git a/sci-mathematics/mathlib-tools/Manifest b/sci-mathematics/mathlib-tools/Manifest |
19 |
new file mode 100644 |
20 |
index 000000000..4ab66c9a9 |
21 |
--- /dev/null |
22 |
+++ b/sci-mathematics/mathlib-tools/Manifest |
23 |
@@ -0,0 +1 @@ |
24 |
+DIST mathlib-tools-1.1.0.tar.gz 32374 BLAKE2B f470927cae1dc66478efd44de6a5fd7c8df9656351ee342d14a1e75e8774383616cedf01b21ef1b92220fb03b1f1ccb326e3363dd0fec4fb5876f43c5ddb4010 SHA512 bc59d2e41c42ecc22c5768ac3adb209f0b170e2e97fe68483d8518b78a6b4fa163c1d46e4e3996c6f3e0aaa329c642fd111b3e16d850f40b6edc81c81215d03f |
25 |
|
26 |
diff --git a/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild |
27 |
new file mode 100644 |
28 |
index 000000000..f17034030 |
29 |
--- /dev/null |
30 |
+++ b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild |
31 |
@@ -0,0 +1,43 @@ |
32 |
+# Copyright 1999-2021 Gentoo Authors |
33 |
+# Distributed under the terms of the GNU General Public License v2 |
34 |
+ |
35 |
+EAPI=8 |
36 |
+ |
37 |
+# Tests fail with 3.9 |
38 |
+PYTHON_COMPAT=(python3_8) |
39 |
+ |
40 |
+inherit distutils-r1 |
41 |
+ |
42 |
+DESCRIPTION="Development tools for Lean's mathlib" |
43 |
+HOMEPAGE="https://github.com/leanprover-community/mathlib-tools" |
44 |
+ |
45 |
+if [[ "${PV}" == *9999* ]]; then |
46 |
+ inherit git-r3 |
47 |
+ EGIT_REPO_URI="https://github.com/leanprover-community/${PN}.git" |
48 |
+else |
49 |
+ SRC_URI="https://github.com/leanprover-community/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz" |
50 |
+ KEYWORDS="~amd64" |
51 |
+fi |
52 |
+ |
53 |
+LICENSE="Apache-2.0" |
54 |
+SLOT="0" |
55 |
+ |
56 |
+DEPEND=" |
57 |
+ >=dev-python/GitPython-2.1.11[${PYTHON_USEDEP}] |
58 |
+ >=dev-python/toml-0.10.0[${PYTHON_USEDEP}] |
59 |
+ dev-python/PyGithub[${PYTHON_USEDEP}] |
60 |
+ dev-python/atomicwrites[${PYTHON_USEDEP}] |
61 |
+ dev-python/certifi[${PYTHON_USEDEP}] |
62 |
+ dev-python/click[${PYTHON_USEDEP}] |
63 |
+ dev-python/networkx[${PYTHON_USEDEP}] |
64 |
+ dev-python/pydot[${PYTHON_USEDEP}] |
65 |
+ dev-python/pyyaml[${PYTHON_USEDEP}] |
66 |
+ dev-python/requests[${PYTHON_USEDEP}] |
67 |
+ dev-python/tqdm[${PYTHON_USEDEP}] |
68 |
+" |
69 |
+RDEPEND=" |
70 |
+ ${DEPEND} |
71 |
+ dev-lang/lean |
72 |
+" |
73 |
+ |
74 |
+distutils_enable_tests pytest |
75 |
|
76 |
diff --git a/sci-mathematics/mathlib-tools/metadata.xml b/sci-mathematics/mathlib-tools/metadata.xml |
77 |
new file mode 100644 |
78 |
index 000000000..2bb1a9a5b |
79 |
--- /dev/null |
80 |
+++ b/sci-mathematics/mathlib-tools/metadata.xml |
81 |
@@ -0,0 +1,19 @@ |
82 |
+<?xml version="1.0" encoding="UTF-8"?> |
83 |
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
84 |
+ |
85 |
+<pkgmetadata> |
86 |
+ <maintainer type="person"> |
87 |
+ <email>xgqt@××××××.net</email> |
88 |
+ <name>Maciej Barć</name> |
89 |
+ </maintainer> |
90 |
+ <longdescription lang="en"> |
91 |
+ This package contains leanproject, a supporting tool for Lean mathlib. |
92 |
+ More info: |
93 |
+ - https://leanprover-community.github.io/toolchain.html#handling-dependencies |
94 |
+ - https://leanprover-community.github.io/leanproject.html |
95 |
+ </longdescription> |
96 |
+ <upstream> |
97 |
+ <bugs-to>https://github.com/leanprover-community/mathlib-tools/issues</bugs-to> |
98 |
+ <remote-id type="github">leanprover-community/mathlib-tools</remote-id> |
99 |
+ </upstream> |
100 |
+</pkgmetadata> |