diff options
Diffstat (limited to 'pcr/gringo')
| -rw-r--r-- | pcr/gringo/PKGBUILD | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/pcr/gringo/PKGBUILD b/pcr/gringo/PKGBUILD index a02656821..4e9e56248 100644 --- a/pcr/gringo/PKGBUILD +++ b/pcr/gringo/PKGBUILD @@ -1,9 +1,9 @@ -# Contributor (Arch) : Vincent Bernardoff <vb@luminar.eu.org> -# Maintainer (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp> +# Maintainer : Aurelien Desbrieres <aurelien@hackers.camp> +# Contributor: Vincent Bernardoff <vb@luminar.eu.org> pkgname=gringo groups=('potassco') -pkgver=4.3.0 +pkgver=4.4.0 pkgrel=1 pkgdesc="Grounding tools for (disjunctive) logic programs." arch=('x86_64' 'i686' 'armv6h' 'armv7h') @@ -12,12 +12,10 @@ license=('GPL3') depends=() makedepends=('bison' 're2c' 'scons') source=( - "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz" - "uint_max.patch") + "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz") build() { cd "${srcdir}/${pkgname}-${pkgver}-source" - patch -p1 < "$srcdir/uint_max.patch" scons --build-dir=release ${pkgname} } |