summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--pcr/clasp/PKGBUILD25
-rw-r--r--pcr/zeroinstall-injector/PKGBUILD45
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')