Don't like ads? PRO users don't see any ads ;-)
Public Pastes
Guest

phpsh-git pkgbuild

By: a guest on Oct 23rd, 2010  |  syntax: Bash  |  size: 1.07 KB  |  hits: 79  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. # Contributor: Massimiliano Torromeo <Massimiliano DOT Torromeo AT gmail DOT com>
  2. pkgname=phpsh-git
  3. pkgver=20101024
  4. pkgrel=1
  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=('python2' 'python-pysqlite' 'php')
  10. makedepends=('git' 'setuptools')
  11. install=phpsh.install
  12.  
  13. _gitroot="git://github.com/polizei/phpsh.git"
  14. _gitname="phpsh"
  15.  
  16. build() {
  17.   cd "$srcdir"
  18.   msg "Connecting to GIT server...."
  19.  
  20.   if [ -d $_gitname ] ; then
  21.     cd $_gitname && git pull origin
  22.     msg "The local files are updated."
  23.   else
  24.     git clone $_gitroot
  25.   fi
  26.  
  27.   msg "GIT checkout done or server timeout"
  28.   msg "Starting make..."
  29.  
  30.   rm -rf "$srcdir/$_gitname-build"
  31.   #git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
  32.   cp -R "$srcdir/$_gitname" "$srcdir/$_gitname-build"
  33.   cd "$srcdir/$_gitname-build"
  34.  
  35.   python2 setup.py install --root=$startdir/pkg || return 1
  36.   install -D -m 644 "LICENSE" "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
  37. }
create a new version of this paste RAW Paste Data