# Maintainer: Alexander F. Rødseth <xyproto@archlinux.org>
# Contributor: Vincent Bernardoff <vb@luminar.eu.org>

pkgname=clasp
pkgver=3.3.6
pkgrel=1
pkgdesc='Answer set solver'
arch=(x86_64)
url='https://potassco.org/'
license=(GPL3)
makedepends=(cmake git ninja)
conflicts=(clingo)
source=("git+https://github.com/potassco/clasp#commit=a8dfc0ab916abe4008452279fb5131b392c20018") # tag: v3.3.6
b2sums=('SKIP')

build() {
  cmake -B build -S $pkgname \
    -D CMAKE_INSTALL_PREFIX=/usr \
    -G Ninja
  ninja -C build
}

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

# getver: github.com/potassco/clasp/releases
