jarminal-git/PKGBUILD

   1 # Maintainer: Jan Rüegg <rggjan@gmail.com>
   2 pkgname=jarminal-git
   3 pkgver=20100408
   4 pkgrel=1
   5 pkgdesc="Jarminal (Terminal -Te +Ja) is a java interactive shell. "
   6 arch=('x86_64' 'x86')
   7 url="http://gitorious.org/jarminal"
   8 license=('GPL3')
   9 depends=('python' 'jdk' 'elinks')
  10 makedepends=('git')
  11 backup=('etc/jarminal.conf')
  12 options=()
  13
  14 _gitroot="git://gitorious.org/jarminal/mainline.git"
  15 _gitname="jarminal"
  16
  17 build() {
  18   cd "$srcdir"
  19   msg "Connecting to GIT server...."
  20
  21   if [ -d $_gitname ] ; then
  22     cd $_gitname && git pull origin
  23     msg "The local files are updated."
  24   else
  25     git clone $_gitroot $_gitname
  26   fi
  27
  28   msg "GIT checkout done or server timeout"
  29   msg "Starting make..."
  30
  31   rm -rf "$srcdir/$_gitname-build"
  32   git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
  33   cd "$srcdir/$_gitname-build"
  34
  35   make || return 1
  36   make DESTDIR="$pkgdir/" install
  37 }