diff options
Diffstat (limited to 'devtools-git/PKGBUILD')
-rw-r--r-- | devtools-git/PKGBUILD | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/devtools-git/PKGBUILD b/devtools-git/PKGBUILD deleted file mode 100644 index 9220b78..0000000 --- a/devtools-git/PKGBUILD +++ /dev/null @@ -1,40 +0,0 @@ -# Contributor: Evangelos Foutras <foutrelis@gmail.com> - -pkgname=devtools-git -pkgver=20110320 -pkgrel=1 -pkgdesc="Tools for Arch Linux package maintainers" -arch=('any') -url="http://projects.archlinux.org/devtools.git/" -license=('GPL') -depends=('namcap' 'openssh' 'subversion' 'rsync') -makedepends=('git') -provides=('devtools') -conflicts=('devtools') -source=() -md5sums=() - -#_gitroot="git://projects.archlinux.org/devtools.git" -_gitroot="git://github.com/heftig/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 $_gitname - 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 -} |