# $Id: PKGBUILD 194339 2013-09-13 21:42:34Z daniel $
# Maintainer: Daniel Isenmann <daniel@archlinux.org>

pkgname=monodevelop-debugger-gdb
pkgver=4.0.12
pkgrel=1
pkgdesc="Mono Debugger support"
arch=('i686' 'x86_64') # also "any" pkg?
url="http://monodevelop.com"
license=('GPL')
depends=('monodevelop>=4.0.12' 'gdb')
makedepends=('mono')
options=('!makeflags')
source=(http://origin-download.mono-project.com/sources/$pkgname/$pkgname-$pkgver-3.tar.bz2)
md5sums=('b9c9d12cc73352a208bcdb5ad5949418')

build() {
  export MONO_SHARED_DIR="${srcdir}/.wabi"
  mkdir -p "${MONO_SHARED_DIR}"
  
  cd "${srcdir}/${pkgname}-${pkgver}"

  ./configure --prefix=/usr
  make
}

package() {
  cd "${srcdir}/${pkgname}-${pkgver}"
  make DESTDIR="${pkgdir}" install
}