mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-11 16:13:21 -04:00
832d2b5f5d
Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@riseup.net>
44 lines
1.1 KiB
Bash
44 lines
1.1 KiB
Bash
# Copyright 1999-2021 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=8
|
|
|
|
# Tests fail with 3.9
|
|
PYTHON_COMPAT=(python3_8)
|
|
|
|
inherit distutils-r1
|
|
|
|
DESCRIPTION="Development tools for Lean's mathlib"
|
|
HOMEPAGE="https://github.com/leanprover-community/mathlib-tools"
|
|
|
|
if [[ "${PV}" == *9999* ]]; then
|
|
inherit git-r3
|
|
EGIT_REPO_URI="https://github.com/leanprover-community/${PN}.git"
|
|
else
|
|
SRC_URI="https://github.com/leanprover-community/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
|
|
KEYWORDS="~amd64"
|
|
fi
|
|
|
|
LICENSE="Apache-2.0"
|
|
SLOT="0"
|
|
|
|
DEPEND="
|
|
>=dev-python/GitPython-2.1.11[${PYTHON_USEDEP}]
|
|
>=dev-python/toml-0.10.0[${PYTHON_USEDEP}]
|
|
dev-python/PyGithub[${PYTHON_USEDEP}]
|
|
dev-python/atomicwrites[${PYTHON_USEDEP}]
|
|
dev-python/certifi[${PYTHON_USEDEP}]
|
|
dev-python/click[${PYTHON_USEDEP}]
|
|
dev-python/networkx[${PYTHON_USEDEP}]
|
|
dev-python/pydot[${PYTHON_USEDEP}]
|
|
dev-python/pyyaml[${PYTHON_USEDEP}]
|
|
dev-python/requests[${PYTHON_USEDEP}]
|
|
dev-python/tqdm[${PYTHON_USEDEP}]
|
|
"
|
|
RDEPEND="
|
|
${DEPEND}
|
|
dev-lang/lean:0/3
|
|
"
|
|
|
|
distutils_enable_tests pytest
|