gnome-shell-extension-mediaplayer-dbus-git/PKGBUILD

   1 pkgname=gnome-shell-extension-mediaplayer-dbus-git
   2 pkgver=20110620
   3 pkgrel=3
   4 pkgdesc="Mediaplayer indicator extension for gnome-shell (with dbus integration)"
   5 arch=('any')
   6 url="https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer"
   7 license=('GPL3')
   8 depends=('gnome-shell' 'gnome-common')
   9 makedepends=('git' 'intltool')
  10 provides=("gnome-shell-extension-mediaplayer-dbus-git")
  11
  12 _gitroot="https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer.git"
  13 _gitname="gnome-shell-extension-mediaplayer-dbus"
  14
  15 build() {
  16     cd ${srcdir}/
  17     msg "Connecting to the GIT server..."
  18     if [[ -d ${srcdir}/${_gitname} ]] ; then
  19         cd ${_gitname}
  20         git pull origin
  21         msg "The local files are updated..."
  22     else
  23         git clone ${_gitroot} ${_gitname}
  24     fi
  25     msg "GIT checkout done."
  26
  27     cd ${srcdir}/${_gitname}
  28     ./autogen.sh --prefix="/usr"
  29     make
  30 }
  31
  32 package() {
  33     cd ${srcdir}/${_gitname}
  34     make DESTDIR=${pkgdir} install
  35 }
  36