diff options
Diffstat (limited to 'pcr/gringo/PKGBUILD')
| -rw-r--r-- | pcr/gringo/PKGBUILD | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/pcr/gringo/PKGBUILD b/pcr/gringo/PKGBUILD index ed9858ea2..3f184b95e 100644 --- a/pcr/gringo/PKGBUILD +++ b/pcr/gringo/PKGBUILD @@ -3,19 +3,26 @@ pkgname=gringo groups=('potassco') -pkgver=4.5.3 +pkgver=4.5.4 pkgrel=1 pkgdesc="Grounding tools for (disjunctive) logic programs." arch=('x86_64' 'i686' 'armv7h') url="http://potassco.sourceforge.net/" license=('GPL3') depends=() -makedepends=('bison' 're2c' 'scons') +makedepends=('patch' 'bison' 're2c' 'scons') source=( - "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz") -sha1sums=(3c050fdfda0cd7aa196eaac6e529f8e47a8b5ce9) + "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz" + "https://sourceforge.net/p/potassco/bugs/_discuss/thread/5d530430/4fdf/attachment/include-math.patch.0" +) +sha1sums=( + 5eb5e077cf9e1a87baf2c18322e431158090d656 + 52a073676bbf22859cc3f4566f5c2765f3a07876 +) + build() { cd "${srcdir}/${pkgname}-${pkgver}-source" + patch -p0 < "${srcdir}/include-math.patch.0" scons --build-dir=release ${pkgname} } |