php-shell/PKGBUILD

   1 pkgname=php-shell
   2 pkgver=0.3.1
   3 pkgrel=1
   4 pkgdesc="Advanced interactive command line shell for PHP (with fatal error handling)"
   5 url="http://jan.kneschke.de/projects/php-shell/"
   6 depends=('php')
   7 source=(http://jan.kneschke.de/assets/2007/2/17/PHP_Shell-0.3.1.tgz php-shell php-shell-cmd.patch)
   8 md5sums=('0e5487d675dd7451138c599265a02af7' '3e769e7f996009421ac034926cb7a46d'\
   9          '69574ab2ed84005961c39228fb7cf655')
  10 arch=('x86_64' 'i686')
  11 license=('GPL')
  12
  13 build() {
  14   cd $startdir/src/PHP_Shell-$pkgver
  15   patch -Np0 -i $startdir/src/php-shell-cmd.patch
  16
  17   mkdir -p $startdir/pkg/usr/share/php-shell
  18   cp -r PHP $startdir/pkg/usr/share/php-shell/
  19   cp scripts/php-shell-cmd.php $startdir/pkg/usr/share/php-shell/
  20   install -D -m 755 $startdir/src/php-shell $startdir/pkg/usr/bin/php-shell
  21 }