# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer:
pkgname=aspcud
pkgver=1.9.4
pkgrel=7
pkgdesc="Package dependency solver"
url="https://potassco.org/aspcud/"
arch="all"
license="MIT"
depends="boost clingo"
makedepends="boost-dev cmake re2c"
subpackages="$pkgname-doc"
source="$pkgname-$pkgver.tar.gz::https://github.com/potassco/aspcud/archive/v$pkgver.tar.gz
	boost-1.74.patch"

build() {
	cmake -B build . \
		-DCMAKE_BUILD_TYPE=None \
		-DGRINGO_LOC=/usr/bin/gringo \
		-DCLASP_LOC=/usr/bin/clasp \
		-DCMAKE_INSTALL_PREFIX=/usr
	make -C build
}

package() {
	make -C build DESTDIR="$pkgdir" install
}

sha512sums="6bb04fca0d5df1bfc2d34974386899821790154e10e988dfd34ceada005970ac8dd0bec560b35e20195aa529ac7f73baa07c7d81d9744127e57afece04b2e574  aspcud-1.9.4.tar.gz
16a95c6af101e076491c61dd9c2bb1c28776e9309c585f38768525d716f1e1fc66d837ac4c3605535430fda966a28a2ea7b67f28419c1e2f918f5f270c898014  boost-1.74.patch"