# 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
}