# $Id: PKGBUILD 152237 2012-03-05 17:04:50Z pierre $ # Maintainer: Pierre Schmitz # ALARM: Kevin Mihelich # - packaged using our git version plugrel=1 pkgname=devtools-alarm pkgver=20120516 pkgrel=1 pkgdesc='Tools for Arch Linux ARM build system clients' arch=('any') license=('GPL') url='https://github.com/archlinuxarm/devtools' depends=('namcap' 'openssh' 'subversion' 'rsync') makedepends=('git') conflicts=('devtools') provides=('devtools') _gitroot="git://github.com/archlinuxarm/devtools.git" _gitname="devtools" build() { cd "${srcdir}" msg "Connecting to GIT server...." if [ -d $_gitname ] ; then cd $_gitname && git pull origin msg "The local files are updated." else git clone $_gitroot fi msg "GIT checkout done or server timeout" cd "${srcdir}/${_gitname}" make PREFIX=/usr } package() { cd "${srcdir}/${_gitname}" make PREFIX=/usr DESTDIR="${pkgdir}" install }