monodevelop-git/PKGBUILD

   1 # Maintainer: Jonathan Lestrelin <zanko@daemontux.org>
   2 # Part of this PKGBUILD was taken from the monodevelop one from:
   3 # Contributor: Daniel Isenmann <daniel@archlinux.org>
   4 # Contributor: Timm Preetz <timm@preetz.us>
   5 # Contributor: Giovanni Scafora <giovanni@archlinux.org>
   6
   7 pkgname=monodevelop-git
   8 _pkgname=monodevelop
   9 pkgver=20110625
  10 pkgrel=1
  11 pkgdesc="An IDE with support for Mono, C, C++, Vala, Java, Python..."
  12 arch=('any')
  13 url="http://www.monodevelop.org"
  14 license=('GPL')
  15 depends=('mono>=2.8' 'mono-addins-git' 'gnome-sharp' 'gnome-desktop-sharp' 'mono-debugger>=2.0' 'hicolor-icon-theme' 'vala>=0.12' 'desktop-file-utils')
  16 makedepends=('git' 'pkg-config')
  17 provides=('monodevelop')
  18 conflicts=('monodevelop')
  19 install=monodevelop-git.install
  20 _gitroot="git://github.com/mono/monodevelop.git"
  21 _gitname="monodevelop"
  22
  23 build() {
  24         cd "$srcdir"
  25         msg "Performing source checkout..."
  26         if [ -d "$_gitname" ]; then
  27                 cd "$_gitname"
  28                 git pull origin || return 1
  29                 cd ..
  30         else
  31                 git clone "$_gitroot" || return 1
  32         fi
  33         msg "Source checkout finished."
  34         rm -rf "$_gitname-build"
  35         git clone "$_gitname" "$_gitname-build" || return 1
  36     cd "$_gitname-build"
  37
  38     #custom profile with everything that doesn't break during build
  39     echo "main" > profiles/custom
  40     echo "extras/JavaBinding" >> profiles/custom
  41     echo "extras/ValaBinding" >> profiles/custom
  42     #echo "extras/BooBinding" >> profiles/custom
  43     echo "extras/MonoDevelop.Database" >> profiles/custom
  44     #echo "extras/MonoDevelop.Debugger.Mdb" >> profiles/custom
  45     echo "extras/MonoDevelop.Debugger.Gdb" >> profiles/custom
  46     echo "extras/PyBinding" >> profiles/custom
  47     #echo "extras/MonoDevelop.IPhone" >> profiles/custom
  48     #echo "extras/MonoDevelop.MonoMac" >> profiles/custom
  49     #echo "extras/MonoDevelop.MeeGo" >> profiles/custom
  50     #echo "extras/MonoDevelop.MonoDroid" >> profiles/custom
  51
  52     ./configure --prefix=/usr --profile=custom
  53     make || return 1
  54 }
  55
  56 package() {
  57   cd "$_gitname-build"
  58   make DESTDIR=$pkgdir install
  59   rm -r $pkgdir/usr/share/mime #FIXME !
  60 }
  61