Initial import

2 files changed, 64 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..b384bcfcbddc
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,23 @@
+pkgbase = aspcud-svn
+	pkgdesc = Solver for package dependencies
+	pkgver = r8385
+	pkgrel = 1
+	url = http://potassco.sourceforge.net/
+	arch = x86_64
+	arch = i686
+	arch = armv6h
+	arch = armv7h
+	groups = potassco
+	license = GPL3
+	makedepends = boost
+	makedepends = cmake
+	makedepends = re2c
+	depends = clasp>=2.1.3
+	depends = gringo>=4.2.1
+	provides = aspcud
+	conflicts = aspcud
+	source = aspcud-svn::svn+svn://svn.code.sf.net/p/potassco/code/trunk/aspcud
+	md5sums = SKIP
+
+pkgname = aspcud-svn
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..5929cb1766f9
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,41 @@
+# Maintainer: Vincent Bernardoff <vb@luminar.eu.org>
+
+pkgname=aspcud-svn
+groups=('potassco')
+pkgver=r8385
+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')
+provides=('aspcud')
+makedepends=('boost' 'cmake' 're2c')
+source=("$pkgname"::'svn+svn://svn.code.sf.net/p/potassco/code/trunk/aspcud')
+md5sums=('SKIP')
+
+pkgver() {
+    cd "$srcdir/$pkgname"
+    local ver="$(svnversion)"
+    printf "r%s" "${ver//[[:alpha:]]}"
+}
+
+build() {
+    cd "$srcdir/$pkgname"
+    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"
+    cd build/release
+    make DESTDIR=${pkgdir} install
+}