sci-mathematics/lean-mathlib: add 0.1_p20220324

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>

sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20220324.ebuild

@@ -0,0 +1,43 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COMMIT="7c48d65cd4546dcb1cfa01073cbe016fa7f3fbcc"
+
+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.42.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
+}