From: "Alessandro Barbieri" <lssndrbarbieri@gmail.com>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/lean-mathlib/
Date: Sat, 19 Mar 2022 02:02:32 +0000 (UTC) [thread overview]
Message-ID: <1647655327.4c20f182f85c0ee52c965866bf9ccc0ace9fbbff.Alessandro-Barbieri@gentoo> (raw)
commit: 4c20f182f85c0ee52c965866bf9ccc0ace9fbbff
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Sat Mar 19 02:02:07 2022 +0000
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Sat Mar 19 02:02:07 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=4c20f182
sci-mathematics/lean-mathlib: add 0.1_p20220318
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
sci-mathematics/lean-mathlib/Manifest | 1 +
.../lean-mathlib/lean-mathlib-0.1_p20220318.ebuild | 43 ++++++++++++++++++++++
2 files changed, 44 insertions(+)
diff --git a/sci-mathematics/lean-mathlib/Manifest b/sci-mathematics/lean-mathlib/Manifest
index 6d4751f6e..bebf898ba 100644
--- a/sci-mathematics/lean-mathlib/Manifest
+++ b/sci-mathematics/lean-mathlib/Manifest
@@ -1 +1,2 @@
DIST lean-mathlib-0.1_p20211021.tar.gz 6665360 BLAKE2B 92d7627a095fd8cbc2bbdeccd9321c86badbd36152a034a15d005eadd0507c21aeeb73ecbef8199a267104b5b881ba5b100355e48003c68785205650c4a23876 SHA512 792e8074cba39d1baab87f47af64c49f2a95043c8e9d592f41fe87d8697405c2595933954e1fbf30cb657551e2350fa274e405996d030e47db166cd078a232e4
+DIST lean-mathlib-0.1_p20220318.tar.gz 8076743 BLAKE2B d8c76b93309f5b778654ccd7f8ecd68f9fed72b9bd5e40c5909c193bce96e2af0edf530232d71893a802f5292d7b34a83783826dbda619f8e4450431e0eda153 SHA512 a3708be6c1792de80015ff7ac242ed85ac2eb2e283774721e6f778fb98dd42380556f1238a4cd880f3f22377966cc06e7b92ca62cae078c01302c44c6377d608
diff --git a/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220318.ebuild b/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220318.ebuild
new file mode 100644
index 000000000..a1e9902e3
--- /dev/null
+++ b/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220318.ebuild
@@ -0,0 +1,43 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COMMIT="d04fff95f686d5c372f7895551c40e7fa683ed6b"
+
+DESCRIPTION="Lean mathematical components library"
+HOMEPAGE="https://github.com/leanprover-community/mathlib"
+SRC_URI="https://github.com/leanprover-community/mathlib/archive/${COMMIT}.tar.gz -> ${PF}.tar.gz"
+S="${WORKDIR}/mathlib-${COMMIT}"
+
+KEYWORDS="~amd64"
+LICENSE="Apache-2.0"
+SLOT="0"
+IUSE="test"
+
+RDEPEND=">=sci-mathematics/lean-3.41.0"
+DEPEND="
+ ${RDEPEND}
+ sci-mathematics/mathlib-tools
+"
+
+RESTRICT="!test? ( test )"
+
+src_configure() {
+ leanpkg configure || die
+}
+
+src_compile() {
+ leanpkg build || die
+}
+
+src_install() {
+ dodoc -r docs/*
+ rm -r docs || die
+ insinto /usr/lib/lean/mathlib
+ doins -r .
+}
+
+src_test() {
+ leanpkg test || die
+}
next reply other threads:[~2022-03-19 2:02 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-03-19 2:02 Alessandro Barbieri [this message]
-- strict thread matches above, loose matches on Subject: below --
2022-03-26 0:09 [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/lean-mathlib/ Alessandro Barbieri
2022-03-26 0:09 Alessandro Barbieri
2021-12-01 19:50 Andrew Ammerlaan
2021-10-24 14:53 Arthur Zamarin
2021-10-23 5:11 Alessandro Barbieri
2021-10-22 0:46 Alessandro Barbieri
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1647655327.4c20f182f85c0ee52c965866bf9ccc0ace9fbbff.Alessandro-Barbieri@gentoo \
--to=lssndrbarbieri@gmail.com \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox