# Maintainer : Aurelien Desbrieres # Contributor: Vincent Bernardoff pkgname=gringo groups=('potassco') pkgver=4.4.0 pkgrel=1.1 pkgdesc="Grounding tools for (disjunctive) logic programs." arch=('x86_64' 'i686') url="http://potassco.sourceforge.net/" license=('GPL3') depends=() makedepends=('bison' 're2c' 'scons') source=( "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz") md5sums='00627846648d6818117bfa8185e491c6' build() { cd "${srcdir}/${pkgname}-${pkgver}-source" scons --build-dir=release ${pkgname} } package() { cd "${srcdir}/${pkgname}-${pkgver}-source/build/release" install -D ${pkgname} ${pkgdir}/usr/bin/${pkgname} }