jumanji-git/PKGBUILD

   1 #Maintainer: mlq <mlq@pwmt.org>
   2
   3 pkgname=jumanji-git
   4 pkgver=20111029
   5 pkgrel=1
   6 pkgdesc="a web browser"
   7 arch=('i686' 'x86_64')
   8 url="http://pwmt.org/projects/jumanji"
   9 license=('custom')
  10 depends=('girara-gtk3-git' 'libwebkit3>=1.6.1' 'libsoup>=2.36.1')
  11 makedepends=('git')
  12
  13 conflicts=('jumanji' 'jumanji-git')
  14 provides=('jumanji' 'jumanji-git')
  15
  16 _gitroot='git://pwmt.org/jumanji.git'
  17 _gitname='jumanji'
  18 _branch='develop'
  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 $_gitname
  29     cd $_gitname && git checkout --track -b $_branch origin/$_branch
  30   fi
  31
  32   msg "GIT checkout done or server timeout"
  33   msg "Starting make..."
  34
  35   if [ -d ${srcdir}/$_gitname-build ]; then
  36     rm -rf ${srcdir}/$_gitname-build
  37   fi
  38
  39   git clone ${srcdir}/$_gitname ${srcdir}/$_gitname-build || return 1
  40   cd ${srcdir}/$_gitname-build/ || return 1
  41
  42   make DATABASE=plain DESTDIR="$pkgdir/" install || return 1
  43   install -D -m664 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
  44 }