diff options
Diffstat (limited to 'extra/monodevelop/PKGBUILD')
| -rw-r--r-- | extra/monodevelop/PKGBUILD | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/extra/monodevelop/PKGBUILD b/extra/monodevelop/PKGBUILD index dbb1cbaea..4851ae271 100644 --- a/extra/monodevelop/PKGBUILD +++ b/extra/monodevelop/PKGBUILD @@ -4,22 +4,25 @@ pkgname=monodevelop pkgver=2.4.2 -pkgrel=1 +pkgrel=2 pkgdesc="An IDE primarily designed for C# and other .NET languages" arch=('i686' 'x86_64' 'mips64el') url="http://www.monodevelop.org" license=('GPL') -depends=('mono>=2.8.2' 'mono-addins>=0.5' 'gnome-sharp' 'gecko-sharp-2.0>=0.10' 'gnome-desktop-sharp') -options=(!makeflags force) +depends=('mono>=2.10.1' 'mono-addins>=0.5' 'gnome-sharp' 'gecko-sharp-2.0>=0.10') +options=(!makeflags) install=monodevelop.install -source=(http://ftp.novell.com/pub/mono/sources/${pkgname}/${pkgname}-${pkgver}.tar.bz2) -md5sums=('05d20deada26a115418cb1b4526b8d15') +source=(http://ftp.novell.com/pub/mono/sources/${pkgname}/${pkgname}-${pkgver}.tar.bz2 + monodevelop_gnome3.patch) +md5sums=('05d20deada26a115418cb1b4526b8d15' + 'fd011f41af212fe87fb9997ebf074188') build() { export MONO_SHARED_DIR=$srcdir/src/.wabi mkdir -p $MONO_SHARED_DIR cd $srcdir/$pkgname-$pkgver + patch -p1 < ${srcdir}/monodevelop_gnome3.patch || return 1 ./configure --prefix=/usr --disable-update-mimedb --disable-update-desktopdb make || return 1 } |