diff options
Diffstat (limited to 'pcr/gringo/PKGBUILD')
| -rw-r--r-- | pcr/gringo/PKGBUILD | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pcr/gringo/PKGBUILD b/pcr/gringo/PKGBUILD new file mode 100644 index 000000000..a02656821 --- /dev/null +++ b/pcr/gringo/PKGBUILD @@ -0,0 +1,27 @@ +# Contributor (Arch) : Vincent Bernardoff <vb@luminar.eu.org> +# Maintainer (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp> + +pkgname=gringo +groups=('potassco') +pkgver=4.3.0 +pkgrel=1 +pkgdesc="Grounding tools for (disjunctive) logic programs." +arch=('x86_64' 'i686' 'armv6h' 'armv7h') +url="http://potassco.sourceforge.net/" +license=('GPL3') +depends=() +makedepends=('bison' 're2c' 'scons') +source=( + "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz" + "uint_max.patch") + +build() { + cd "${srcdir}/${pkgname}-${pkgver}-source" + patch -p1 < "$srcdir/uint_max.patch" + scons --build-dir=release ${pkgname} +} + +package() { + cd "${srcdir}/${pkgname}-${pkgver}-source/build/release" + install -D ${pkgname} ${pkgdir}/usr/bin/${pkgname} +} |