diff options
| author | Aurelien Desbrieres <aurelien@hackers.camp> | 2014-12-15 14:53:37 +0100 |
|---|---|---|
| committer | Aurelien Desbrieres <aurelien@hackers.camp> | 2014-12-15 14:53:37 +0100 |
| commit | f803d64755c20baf28548ff93b6c6334f705d95a (patch) | |
| tree | 540a12e7d347877e5978e62131fab0d854ce785e /pcr/gringo | |
| parent | 6958e1a24fe01cc8583824b3bb0a86023f44e27c (diff) | |
Grounding tools for (disjunctive) logic programs.
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} } |