# Contributor: Anil Madhavapeddy # Maintainer: Anil Madhavapeddy pkgname=clasp pkgver=3.1.3 pkgrel=1 pkgdesc="Answer set solver for (extended) normal logic programs" url="https://potassco.org/" arch="all" license="LGPL-3.0" depends="" makedepends="bash" install="" subpackages="" source="https://downloads.sourceforge.net/project/potassco/clasp/${pkgver}/clasp-${pkgver}-source.tar.gz" builddir="$srcdir"/$pkgname-$pkgver build() { cd "$builddir" ./configure.sh --config=release --prefix=/usr || return 1 make -C build/release || return 1 } package() { install -Dm755 "${builddir}/build/release/bin/clasp" ${pkgdir}/usr/bin/clasp || return 1 } md5sums="d3017281840e0d348af277c4624d27cd clasp-3.1.3-source.tar.gz" sha256sums="f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f clasp-3.1.3-source.tar.gz" sha512sums="652c1942ab7aa4009068f34f2ff2032a24153e3073f9e211d31a65e5649e2c0727d04b411b88e5f6fde4dc47b0fe6fa35b2e3daeff9e4b99ae1cb81f17c09df7 clasp-3.1.3-source.tar.gz"