1 |
commit: 4bf925478b561d2c6fff0c0ed19590716fc7aa65 |
2 |
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> |
3 |
AuthorDate: Thu Mar 24 14:42:00 2022 +0000 |
4 |
Commit: Ronny Gutbrod <gentoo <AT> tastytea <DOT> de> |
5 |
CommitDate: Sat Mar 26 00:09:35 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=4bf92547 |
7 |
|
8 |
sci-mathematics/lean-mathlib: add 0.1_p20220324 |
9 |
|
10 |
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com> |
11 |
|
12 |
sci-mathematics/lean-mathlib/Manifest | 1 + |
13 |
.../lean-mathlib/lean-mathlib-0.1_p20220324.ebuild | 43 ++++++++++++++++++++++ |
14 |
2 files changed, 44 insertions(+) |
15 |
|
16 |
diff --git a/sci-mathematics/lean-mathlib/Manifest b/sci-mathematics/lean-mathlib/Manifest |
17 |
index bebf898ba..cff053911 100644 |
18 |
--- a/sci-mathematics/lean-mathlib/Manifest |
19 |
+++ b/sci-mathematics/lean-mathlib/Manifest |
20 |
@@ -1,2 +1,3 @@ |
21 |
DIST lean-mathlib-0.1_p20211021.tar.gz 6665360 BLAKE2B 92d7627a095fd8cbc2bbdeccd9321c86badbd36152a034a15d005eadd0507c21aeeb73ecbef8199a267104b5b881ba5b100355e48003c68785205650c4a23876 SHA512 792e8074cba39d1baab87f47af64c49f2a95043c8e9d592f41fe87d8697405c2595933954e1fbf30cb657551e2350fa274e405996d030e47db166cd078a232e4 |
22 |
DIST lean-mathlib-0.1_p20220318.tar.gz 8076743 BLAKE2B d8c76b93309f5b778654ccd7f8ecd68f9fed72b9bd5e40c5909c193bce96e2af0edf530232d71893a802f5292d7b34a83783826dbda619f8e4450431e0eda153 SHA512 a3708be6c1792de80015ff7ac242ed85ac2eb2e283774721e6f778fb98dd42380556f1238a4cd880f3f22377966cc06e7b92ca62cae078c01302c44c6377d608 |
23 |
+DIST lean-mathlib-0.1_p20220324.tar.gz 8117563 BLAKE2B f183565927e9b957059995d301a20af45d9995ae159c7e3aa54114b91e8421908b6494ab8abfe38215c8cbf0d4e714d08b0a43f24ba85deaec58577d2ac47a5b SHA512 39effb1dbb659f0dbaeb008bc3a3181aafd4c1ad6429d6ff70aca13481ccaefb12f97335e870c9737620d08dffdcb1a94970158637dc37b9ad00faff6a700f01 |
24 |
|
25 |
diff --git a/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220324.ebuild b/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220324.ebuild |
26 |
new file mode 100644 |
27 |
index 000000000..d00f91335 |
28 |
--- /dev/null |
29 |
+++ b/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220324.ebuild |
30 |
@@ -0,0 +1,43 @@ |
31 |
+# Copyright 1999-2022 Gentoo Authors |
32 |
+# Distributed under the terms of the GNU General Public License v2 |
33 |
+ |
34 |
+EAPI=8 |
35 |
+ |
36 |
+COMMIT="7c48d65cd4546dcb1cfa01073cbe016fa7f3fbcc" |
37 |
+ |
38 |
+DESCRIPTION="Lean mathematical components library" |
39 |
+HOMEPAGE="https://github.com/leanprover-community/mathlib" |
40 |
+SRC_URI="https://github.com/leanprover-community/mathlib/archive/${COMMIT}.tar.gz -> ${PF}.tar.gz" |
41 |
+S="${WORKDIR}/mathlib-${COMMIT}" |
42 |
+ |
43 |
+KEYWORDS="~amd64" |
44 |
+LICENSE="Apache-2.0" |
45 |
+SLOT="0" |
46 |
+IUSE="test" |
47 |
+ |
48 |
+RDEPEND=">=sci-mathematics/lean-3.42.0" |
49 |
+DEPEND=" |
50 |
+ ${RDEPEND} |
51 |
+ sci-mathematics/mathlib-tools |
52 |
+" |
53 |
+ |
54 |
+RESTRICT="!test? ( test )" |
55 |
+ |
56 |
+src_configure() { |
57 |
+ leanpkg configure || die |
58 |
+} |
59 |
+ |
60 |
+src_compile() { |
61 |
+ leanpkg build || die |
62 |
+} |
63 |
+ |
64 |
+src_install() { |
65 |
+ dodoc -r docs/* |
66 |
+ rm -r docs || die |
67 |
+ insinto /usr/lib/lean/mathlib |
68 |
+ doins -r . |
69 |
+} |
70 |
+ |
71 |
+src_test() { |
72 |
+ leanpkg test || die |
73 |
+} |