gnome-shell-extension-mediaplayer-git/PKGBUILD

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