# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: Anil Madhavapeddy <anil@recoil.org>
setvar pkgname = 'clasp'
setvar pkgver = '3.1.3'
setvar pkgrel = '1'
setvar pkgdesc = ""Answer set solver for (extended) normal logic programs""
setvar url = ""https://potassco.org/""
setvar arch = ""all""
setvar license = ""LGPL3""
setvar depends = """"
setvar makedepends = ""bash""
setvar install = """"
setvar subpackages = """"
setvar source = ""https://downloads.sourceforge.net/project/potassco/clasp/${pkgver}/clasp-${pkgver}-source.tar.gz""
setvar builddir = ""$srcdir"/$pkgname-$pkgver"

proc build {
	cd $builddir
	./configure.sh --config=release --prefix=/usr || return 1
	make -C build/release || return 1
}

proc package {
	install -Dm755 "${builddir}/build/release/bin/clasp" ${pkgdir}/usr/bin/clasp || return 1
}

setvar md5sums = ""d3017281840e0d348af277c4624d27cd  clasp-3.1.3-source.tar.gz""
setvar sha256sums = ""f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f  clasp-3.1.3-source.tar.gz""
setvar sha512sums = ""652c1942ab7aa4009068f34f2ff2032a24153e3073f9e211d31a65e5649e2c0727d04b411b88e5f6fde4dc47b0fe6fa35b2e3daeff9e4b99ae1cb81f17c09df7  clasp-3.1.3-source.tar.gz""