From 97e01ce2985eb2623664ae8abd4f2946a0cdff10 Mon Sep 17 00:00:00 2001
From: Omar Vega Ramos <ovruni@gnu.org.pe>
Date: Mon, 30 May 2016 14:50:05 -0500
Subject: gringo-4.5.4-1: updating version

---
 pcr/gringo/PKGBUILD | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

(limited to 'pcr/gringo')

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}
 }
 
-- 
cgit v1.2.2