diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-05-30 14:50:05 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-05-30 14:50:05 -0500 |
| commit | 97e01ce2985eb2623664ae8abd4f2946a0cdff10 (patch) | |
| tree | a9aa987ef3b90859687eb35d2fd35c2f6802131b /pcr/gringo/PKGBUILD | |
| parent | 119df1a60c01e5d96df3ba3587801a17f9713438 (diff) | |
gringo-4.5.4-1: updating version
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} } |