24 lines
846 B
Bash
24 lines
846 B
Bash
# Maintainer: Gabriel Ebner <gebner@gebner.org>
|
|
|
|
pkgname=mathlibtools
|
|
pkgver=1.0.0
|
|
pkgrel=1
|
|
pkgdesc="Lean prover mathlib supporting tools"
|
|
arch=(any)
|
|
url="https://pypi.python.org/pypi/${pkgname}/${pkgver}"
|
|
license=(MIT)
|
|
depends=(python-toml python-pygithub python-certifi python-gitpython python-requests python-click python-tqdm python-networkx python-pydot python-yaml)
|
|
makedepends=(python-setuptools)
|
|
source=("https://files.pythonhosted.org/packages/source/${pkgname::1}/${pkgname}/${pkgname}-${pkgver}.tar.gz")
|
|
sha512sums=('4a3d10f983a4d6b9c336a37a077c8eca1fdf51dbc817bf41c20a141486f99485ad8c73b6d791522e5f3d8494c517b2b46481d93977ba08bc2763e00ccff61250')
|
|
|
|
build() {
|
|
cd "${srcdir}/${pkgname}-${pkgver}"
|
|
python setup.py build
|
|
}
|
|
|
|
package() {
|
|
cd "${srcdir}/${pkgname}-${pkgver}"
|
|
python setup.py install --root="${pkgdir}/" --optimize=1
|
|
}
|