diff options
| author | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 23:00:12 +0200 |
|---|---|---|
| committer | Aurélien DESBRIÈRES <aurelien@hackers.camp> | 2014-06-05 23:00:12 +0200 |
| commit | 15980cee9713044fe702c687db6a81db96511cf3 (patch) | |
| tree | 49f0f9ef0bd45b2dbfd35f0a240eeacf15dba805 /pcr/gringo/PKGBUILD | |
| parent | 00b217be93876e0d14b42cdd2e957ff9c4d252af (diff) | |
| download | abslibre-15980cee9713044fe702c687db6a81db96511cf3.tar.gz abslibre-15980cee9713044fe702c687db6a81db96511cf3.tar.bz2 abslibre-15980cee9713044fe702c687db6a81db96511cf3.zip | |
gringo
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} +} |