gebner/archpkgs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

mathlibtools-1.0.0

Browse Source
This commit is contained in:
Gabriel Ebner 2021-01-02 10:57:29 +01:00
parent 8155579b89
commit af84871c7b
2 changed files with 46 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
mathlibtools/.SRCINFO Normal file
View File

@ -0,0 +1,23 @@
pkgbase = mathlibtools
pkgdesc = Lean prover mathlib supporting tools
pkgver = 1.0.0
pkgrel = 1
url = https://pypi.python.org/pypi/mathlibtools/1.0.0
arch = any
license = MIT
makedepends = python-setuptools
depends = python-toml
depends = python-pygithub
depends = python-certifi
depends = python-gitpython
depends = python-requests
depends = python-click
depends = python-tqdm
depends = python-networkx
depends = python-pydot
depends = python-yaml
source = https://files.pythonhosted.org/packages/source/m/mathlibtools/mathlibtools-1.0.0.tar.gz
sha512sums = 4a3d10f983a4d6b9c336a37a077c8eca1fdf51dbc817bf41c20a141486f99485ad8c73b6d791522e5f3d8494c517b2b46481d93977ba08bc2763e00ccff61250
pkgname = mathlibtools

23
mathlibtools/PKGBUILD Normal file
View File

@ -0,0 +1,23 @@
# 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
}