From 415856bdd4f48ab4f2732996f0bae58595092bbe Mon Sep 17 00:00:00 2001 From: Parabola Date: Tue, 5 Apr 2011 14:26:38 +0000 Subject: Tue Apr 5 14:26:38 UTC 2011 --- extra/mono-tools/PKGBUILD | 38 +++++++++++++++++++++++++++++++++ extra/mono-tools/gnome-sharp-2.20.patch | 11 ++++++++++ extra/mono-tools/gunit.patch | 11 ++++++++++ extra/mono-tools/mono-tools.install | 30 ++++++++++++++++++++++++++ 4 files changed, 90 insertions(+) create mode 100644 extra/mono-tools/PKGBUILD create mode 100644 extra/mono-tools/gnome-sharp-2.20.patch create mode 100644 extra/mono-tools/gunit.patch create mode 100644 extra/mono-tools/mono-tools.install (limited to 'extra/mono-tools') diff --git a/extra/mono-tools/PKGBUILD b/extra/mono-tools/PKGBUILD new file mode 100644 index 000000000..fef384dfd --- /dev/null +++ b/extra/mono-tools/PKGBUILD @@ -0,0 +1,38 @@ +# $Id: PKGBUILD 111524 2011-02-27 11:44:42Z daniel $ +# Maintainer: Daniel Isenmann +# Contributor: Brice Carpentier + +# The mono-tool package now calls make-search-index by post_install(). +# Whenever a package is installed which places doc-sources into: +# /usr/lib/monodoc/sources it should call --make-search-index with +# post_install() and with post remove. mond-tools itself deletes the index +# file pre_remove(), so pacman finds the directory empty an removes it +# properly. + +pkgname=mono-tools +pkgver=2.10 +pkgrel=1 +pkgdesc="collection of testing and development tools for use with mono (including monodoc browser)" +arch=(i686 x86_64) +license=('GPL') +url="http://www.mono-project.com/" +depends=('mono>=2.10.1' 'desktop-file-utils' 'gnome-desktop-sharp>=2.26.0' 'gluezilla') +makedepends=('gecko-sharp-2.0>=0.13') +install=$pkgname.install +source=(http://ftp.novell.com/pub/mono/sources/$pkgname/$pkgname-$pkgver.tar.bz2) +md5sums=('da178df2c119c696c08c09dc9eb01994') + +build() { + # get rid of that .wapi errors; thanks to brice + export MONO_SHARED_DIR="${startdir}/src/weird" + mkdir -p "${MONO_SHARED_DIR}" + + cd ${startdir}/src/${pkgname}-${pkgver} + aclocal || return 1 + autoconf || return 1 + automake || return 1 + #sed -i 's:^Exec=.*$:Exec=/usr/bin/monodoc:' docbrowser/monodoc.desktop.in + ./configure --prefix=/usr || return 1 + make || return 1 + make GACUTIL="/usr/bin/gacutil /root ${startdir}/pkg/usr/lib" DESTDIR=${startdir}/pkg install || return 1 +} diff --git a/extra/mono-tools/gnome-sharp-2.20.patch b/extra/mono-tools/gnome-sharp-2.20.patch new file mode 100644 index 000000000..d4629d52d --- /dev/null +++ b/extra/mono-tools/gnome-sharp-2.20.patch @@ -0,0 +1,11 @@ +--- configure.in.orig 2008-03-24 14:36:16.000000000 +0000 ++++ configure.in 2008-03-24 14:36:24.000000000 +0000 +@@ -37,7 +37,7 @@ + AC_SUBST(MONODOC_LIBS) + + +-PKG_CHECK_MODULES(GTK_SHARP, gtk-sharp-2.0 glade-sharp-2.0 gconf-sharp-2.0) ++PKG_CHECK_MODULES(GTK_SHARP, gtk-sharp-2.0 glade-sharp-2.0 gconf-sharp-2.0 gnome-sharp-2.0) + #PKG_CHECK_MODULES(GTK_SHARP, gtk-sharp glade-sharp gconf-sharp) + AC_SUBST(GTK_SHARP_LIBS) + diff --git a/extra/mono-tools/gunit.patch b/extra/mono-tools/gunit.patch new file mode 100644 index 000000000..881bf248b --- /dev/null +++ b/extra/mono-tools/gunit.patch @@ -0,0 +1,11 @@ +--- gnunit/src/main.cs 2006-10-04 09:13:30.000000000 +0200 ++++ gnunit/src/main.cs.patched 2006-11-23 09:10:21.000000000 +0100 +@@ -563,7 +563,7 @@ + } + + // Window event handlers +- void OnWindowDelete (object sender, EventArgs args) ++ void OnWindowDelete (object sender, Gtk.DeleteEventArgs args) + { + OnQuitActivate (sender, args); + } diff --git a/extra/mono-tools/mono-tools.install b/extra/mono-tools/mono-tools.install new file mode 100644 index 000000000..03f6f2f7e --- /dev/null +++ b/extra/mono-tools/mono-tools.install @@ -0,0 +1,30 @@ +post_install() { + # diable for a while maybe we can implement something in pacman to make it faster + #echo "creating index ... this could take a up to several minutes ..." + #monodoc --make-search-index > /dev/null 2>&1 + echo "update desktop mime database..." + update-desktop-database -q +} + + +pre_upgrade() { + echo "removing index..." + rm -f /opt/mono/lib/monodoc/monodoc.index + rm -rf /opt/mono/lib/monodoc/search_index +} + +# arg 1: the new package version +# arg 2: the old package version +post_upgrade() { + post_install $1 +} + +post_remove() { + echo "removing index..." + rm -f /usr/lib/monodoc/monodoc.index + rm -rf /usr/lib/monodoc/search_index + echo "update desktop mime database..." + update-desktop-database -q +} + +# vim: ft=sh -- cgit v1.2.3-54-g00ecf