From 15980cee9713044fe702c687db6a81db96511cf3 Mon Sep 17 00:00:00 2001
From: Aurélien DESBRIÈRES <aurelien@hackers.camp>
Date: Thu, 5 Jun 2014 23:00:12 +0200
Subject: gringo

---
 pcr/gringo/PKGBUILD | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 pcr/gringo/PKGBUILD

(limited to 'pcr/gringo/PKGBUILD')

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