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

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

(limited to 'pcr/aspcud')

diff --git a/pcr/aspcud/PKGBUILD b/pcr/aspcud/PKGBUILD
new file mode 100644
index 000000000..064a75ea9
--- /dev/null
+++ b/pcr/aspcud/PKGBUILD
@@ -0,0 +1,34 @@
+# Contributor (Arch)     : Vincent Bernardoff <vb@luminar.eu.org>
+# Maintainer  (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp>
+
+pkgname=aspcud
+groups=('potassco')
+pkgver=1.9.0
+pkgrel=1
+pkgdesc="Solver for package dependencies"
+arch=('x86_64' 'i686' 'armv6h' 'armv7h')
+url="http://potassco.sourceforge.net/"
+license=('GPL3')
+depends=('clasp>=2.1.3' 'gringo>=4.2.1')
+conflicts=('aspcud-svn')
+makedepends=('boost' 'cmake' 're2c')
+source=("http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz")
+
+build() {
+    cd "$srcdir/$pkgname-$pkgver-source"
+    mkdir -p build/release
+    cd build/release
+    cmake \
+	-DCMAKE_INSTALL_PREFIX:PATH=/usr \
+	-DCUDF2LP_LOC=cudf2lp \
+    	-DGRINGO_LOC=gringo \
+	-DCLASP_LOC=clasp \
+	-DCMAKE_BUILD_TYPE=Release ../..
+    make
+}
+
+package() {
+    cd "$srcdir/$pkgname-$pkgver-source"
+    cd build/release
+    make DESTDIR=${pkgdir} install
+}
-- 
cgit v1.2.3-54-g00ecf