diff options
Diffstat (limited to 'pcr')
| -rw-r--r-- | pcr/clasp/PKGBUILD | 25 | ||||
| -rw-r--r-- | pcr/zeroinstall-injector/PKGBUILD | 45 |
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') |