clasp

2 files changed, 46 insertions, 24 deletions

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}"
+}
diff --git a/pcr/zeroinstall-injector/PKGBUILD b/pcr/zeroinstall-injector/PKGBUILD
index 6be6bc71e..74d9d127d 100644
--- a/pcr/zeroinstall-injector/PKGBUILD
+++ b/pcr/zeroinstall-injector/PKGBUILD
@@ -1,36 +1,33 @@
-# Contributor (Arch): SpepS <dreamspepser at yahoo dot it>
-# Contributor (Arch): Anton Bazhenov <anton.bazhenov at gmail>
-# Contributor (Arch): Lone_Wolf <lonewolf@xs4all.nl>
-# Maintainer : Parabola GNU / Linux-libre <aurelien@cwb.io>
+# Contributor (Arch)     : Ben Darwin <bcdarwin at gmail>
+# Contributor (Arch)     : speps <speps at aur dot archlinux dot org>
+# Contributor (Arch)     : Anton Bazhenov <anton.bazhenov at gmail>
+# Contributor (Arch)     : Lone_Wolf <lonewolf@xs4all.nl>
+# Maintainer  (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp>
 
 pkgname=zeroinstall-injector
-pkgver=1.8
+_pkgname=0install
+pkgver=2.6.1
 pkgrel=1
-pkgdesc="A decentralised loosly-coupled secure installation system"
-arch=('any')
-url="http://zero-install.sourceforge.net/"
+pkgdesc="A decentralised loosely-coupled secure installation system"
+arch=('i686' 'x86_64')
+url="http://0install.net"
 license=('GPL2' 'LGPL')
-depends=('pygtk' 'dbus-python' 'gnupg' 'hicolor-icon-theme' 'desktop-file-utils')
-optdepends=('xdg-utils: desktop integration'
+depends=('ocaml-curl' 'ocaml-extlib' 'ocaml-lwt'
+         'ocaml-ounit' 'ocaml-xmlm' 'ocaml-yojson')
+optdepends=('ocaml-lablgtk: provides GUI features'
+            'ocaml-obus: for DBUS, packagekit, and NetworkManager integration'
+            'xdg-utils: desktop integration'
             'packagekit: packagekit integration')
 install="$pkgname.install"
-source=("http://downloads.sourceforge.net/zero-install/$pkgname-$pkgver.tar.bz2")
-md5sums=('00b3e8b3cbfbe8ed55f81842a4d2c386')
+source=("http://downloads.sourceforge.net/zero-install/$_pkgname/$pkgver/$_pkgname-$pkgver.tar.bz2"
+        "http://downloads.sourceforge.net/zero-install/$_pkgname/$pkgver/$_pkgname-$pkgver.tar.bz2.sig")
 
 build() {
-  cd "$srcdir/$pkgname-$pkgver"
-
-  # man path fix
-  sed -i "s|man/|share/&|" setup.py
-
-  python2 setup.py build
+  cd $_pkgname-$pkgver
+  make || return 1
 }
 
 package() {
-  cd "$srcdir/$pkgname-$pkgver"
-  python2 setup.py install --prefix=/usr --root="$pkgdir/"
-
-  # python2 fix
-  sed -i "s/env python/&2/" `grep -rl "env python" "$pkgdir"`
+  cd $_pkgname-$pkgver
+  make DESTDIR="$pkgdir/" install_system
 }
-md5sums=('00b3e8b3cbfbe8ed55f81842a4d2c386')