# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: Anil Madhavapeddy <anil@recoil.org>
pkgname=gringo
pkgver=4.5.2
pkgrel=0
pkgdesc="Grounder to translate user-provided logic programs"
url="http://potassco.sourceforge.net/"
arch="all"
license="LGPL3"
depends=""
makedepends="re2c scons bison"
install=""
subpackages=""
source="https://downloads.sourceforge.net/project/potassco/gringo/${pkgver}/gringo-${pkgver}-source.tar.gz
	010_include_cmath.patch
	"
builddir="$srcdir"/$pkgname-$pkgver-source

build() {
	cd "$builddir"
	scons --build-dir=release gringo clingo reify || return 1
}

package() {
	cd "$builddir"
	for i in gringo clingo reify; do
		install -Dm755 "build/release/$i" "$pkgdir/usr/bin/$i" || return 1
	done
}

md5sums="4ea7868ea5bdc0441b652743308d55d9  gringo-4.5.2-source.tar.gz
fd5de66ef290c02acc3de2e68e41c9e6  010_include_cmath.patch"
sha256sums="36d86321c54499cabf498dac0923b39e43c7a248919224a11c2d15e4ecec9d65  gringo-4.5.2-source.tar.gz
410c2676854f7e7348321394a168ad70c57b0390bf8deac60221e811f6104299  010_include_cmath.patch"
sha512sums="36d484377a6d905b29a6ad2ecfa0729345c7a52a3dc140ba78003e45d811c4de740dafeab551ac034cb7d979b7cbd25ddf41f3e4881a661dcb8f152baa9957f7  gringo-4.5.2-source.tar.gz
426b9d578bfa3a8b10963f5084b2f9879c20b9843795518c484335e51c5de2b62b8d69fb96be829c015511d30d428af1ef3cdfa0b9cc3cfb1fac2581eb60f236  010_include_cmath.patch"