# Contributor: Evangelos Foutras pkgname=devtools-git pkgver=20091018 pkgrel=1 pkgdesc="A few tools to help Arch Linux developers" arch=(i686 x86_64) url="http://projects.archlinux.org/?p=devtools.git" license=('GPL') depends=('namcap') makedepends=('git') provides=('devtools') conflicts=('devtools') source=() md5sums=() _gitroot="git://projects.archlinux.org/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" msg "Starting make..." rm -rf "$srcdir/$_gitname-build" git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build" cd "$srcdir/$_gitname-build" make DESTDIR="$pkgdir" install }