Skip to content

Instantly share code, notes, and snippets.

@arknave
Created February 13, 2021 15:54
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save arknave/36b486b5bb9328e13d45e6a160e81652 to your computer and use it in GitHub Desktop.
Save arknave/36b486b5bb9328e13d45e6a160e81652 to your computer and use it in GitHub Desktop.
PKGBUILD for kattis-problemtools
# Maintainer: Thorsten Wißmann <edu@thorsten-wissmann.de>
pkgname=kattis-problemtools
pkgver=v1.20201230
pkgrel=1
pkgdesc="Tools to manage problem packages using the Kattis problem package format"
arch=('i686' 'arm' 'x86_64')
url="https://github.com/Kattis/problemtools"
license=('MIT')
depends=('python' 'gmp' 'java-environment' 'plastex' 'python-yaml')
makedepends=('python-setuptools' 'boost')
source=("git+https://github.com/Kattis/problemtools")
fragment=$pkgver
md5sums=('SKIP')
build() {
cd "$srcdir"/problemtools
python setup.py build
}
package() {
cd "$srcdir"/problemtools
python setup.py install --prefix /usr --root="$pkgdir" || return 1
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment