phpsh-git/PKGBUILD

   1 # Contributor: Massimiliano Torromeo <Massimiliano DOT Torromeo AT gmail DOT com>
   2 pkgname=phpsh-git
   3 pkgver=20110118
   4 pkgrel=2
   5 pkgdesc="An interactive shell for php that features readline history, tab completion and quick access to documentation."
   6 arch=(any)
   7 url="http://www.phpsh.org/"
   8 license=('CUSTOM')
   9 depends=('python-pysqlite' 'php')
  10 makedepends=('git' 'python2-distribute')
  11 install=phpsh.install
  12 source=('norootfiles.patch')
  13
  14 md5sums=('4fe1c73f0bccc4edc58deb8fe5091cc6')
  15 sha1sums=('d441d1dfdd3fc7eb6df82f319b50c84821339160')
  16
  17 _gitroot="git://github.com/facebook/phpsh.git"
  18 _gitname="phpsh"
  19
  20 build() {
  21         cd "$srcdir"
  22         msg "Connecting to GIT server...."
  23
  24         if [ -d $_gitname ] ; then
  25                 cd $_gitname && git pull origin
  26                 msg "The local files are updated."
  27         else
  28                 git clone $_gitroot
  29         fi
  30
  31         msg "GIT checkout done or server timeout"
  32         msg "Starting make..."
  33
  34         rm -rf "$srcdir/$_gitname-build"
  35         git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
  36         cd "$srcdir/$_gitname-build"
  37
  38         patch -p0 -i "$srcdir/norootfiles.patch"
  39
  40         python2 setup.py install --root=$pkgdir
  41         install -D -m 644 "LICENSE" "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
  42 }