From 00b217be93876e0d14b42cdd2e957ff9c4d252af Mon Sep 17 00:00:00 2001
From: Aurélien DESBRIÈRES <aurelien@hackers.camp>
Date: Thu, 5 Jun 2014 22:52:18 +0200
Subject: clasp

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

(limited to 'pcr/clasp')

diff --git a/pcr/clasp/PKGBUILD b/pcr/clasp/PKGBUILD
new file mode 100644
index 000000000..2367bcdfc
--- /dev/null
+++ b/pcr/clasp/PKGBUILD
@@ -0,0 +1,25 @@
+# Contributor (Arch)     : Vincent Bernardoff <vb@luminar.eu.org>
+# Maintainer  (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp>
+
+pkgname=clasp
+groups=('potassco')
+pkgver=3.0.3
+pkgrel=1
+pkgdesc="A conflict-driven nogood learning answer set solver."
+arch=('x86_64' 'i686' 'armv6h' 'armv7h')
+url="http://potassco.sourceforge.net/"
+license=('GPL3')
+depends=()
+source=("http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz")
+
+build() {
+    cd "${srcdir}/${pkgname}-${pkgver}"
+    ./configure.sh --prefix='/usr'
+    cd build/release
+    make
+}
+
+package() {
+    cd "${srcdir}/${pkgname}-${pkgver}/build/release/bin"
+    install -D "${pkgname}" "${pkgdir}/usr/bin/${pkgname}"
+}
-- 
cgit v1.2.3-54-g00ecf