summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAurélien DESBRIÈRES <aurelien@hackers.camp>2014-06-05 23:12:44 +0200
committerAurélien DESBRIÈRES <aurelien@hackers.camp>2014-06-05 23:12:44 +0200
commitfa3df7fc1c9020380bec148853bc1b290a69a3e6 (patch)
tree5f5b4b8c8b1c382f146a88a8adc5b31e9390fac5
parent15980cee9713044fe702c687db6a81db96511cf3 (diff)
downloadabslibre-fa3df7fc1c9020380bec148853bc1b290a69a3e6.tar.gz
abslibre-fa3df7fc1c9020380bec148853bc1b290a69a3e6.tar.bz2
abslibre-fa3df7fc1c9020380bec148853bc1b290a69a3e6.zip
aspcud
-rw-r--r--pcr/aspcud/PKGBUILD34
1 files changed, 34 insertions, 0 deletions
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
+}