# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: Anil Madhavapeddy <anil@recoil.org>
setglobal pkgname = 'aspcud'
setglobal pkgver = '1.9.1'
setglobal pkgrel = '0'
setglobal pkgdesc = '"Package dependency solver'"
setglobal url = '"http://potassco.sourceforge.net/'"
setglobal arch = '"all'"
setglobal license = '"LGPL3'"
setglobal depends = '"boost gringo clasp'"
setglobal makedepends = '"boost-dev cmake re2c'"
setglobal install = ''""
setglobal subpackages = ""$pkgname-doc""
setglobal source = ""https://downloads.sourceforge.net/project/potassco/aspcud/$(pkgver)/aspcud-$(pkgver)-source.tar.gz""
setglobal builddir = ""$srcdir"/$pkgname-$pkgver-source"

proc build {
	cd $builddir
	mkdir build
	cd build
	cmake .. -DGRINGO_LOC=/usr/bin/gringo -DCLASP_LOC=/usr/bin/clasp -DCMAKE_INSTALL_PREFIX=/usr || return 1
	make
}

proc package {
	cd "$(builddir)/build"
	make DESTDIR="$(pkgdir)" install
}

setglobal md5sums = '"35304fecd1f832c74f028c06067db39d  aspcud-1.9.1-source.tar.gz'"
setglobal sha256sums = '"e0e917a9a6c5ff080a411ff25d1174e0d4118bb6759c3fe976e2e3cca15e5827  aspcud-1.9.1-source.tar.gz'"
setglobal sha512sums = '"61519b19b8f3080079dcfcfa32e28dbd1ed29de0012ac9753f8be2c08a087a2f1a6778a6ec2bdc208ddfec5f1a07cef339b4358e51f1714129c9d219989837af  aspcud-1.9.1-source.tar.gz'"