summaryrefslogtreecommitdiff
path: root/pcr/gringo
diff options
context:
space:
mode:
authorOmar Vega Ramos <ovruni@gnu.org.pe>2016-05-30 14:50:05 -0500
committerOmar Vega Ramos <ovruni@gnu.org.pe>2016-05-30 14:50:05 -0500
commit97e01ce2985eb2623664ae8abd4f2946a0cdff10 (patch)
treea9aa987ef3b90859687eb35d2fd35c2f6802131b /pcr/gringo
parent119df1a60c01e5d96df3ba3587801a17f9713438 (diff)
downloadabslibre-97e01ce2985eb2623664ae8abd4f2946a0cdff10.tar.gz
abslibre-97e01ce2985eb2623664ae8abd4f2946a0cdff10.tar.bz2
abslibre-97e01ce2985eb2623664ae8abd4f2946a0cdff10.zip
gringo-4.5.4-1: updating version
Diffstat (limited to 'pcr/gringo')
-rw-r--r--pcr/gringo/PKGBUILD15
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}
}