Tue Apr 5 14:26:38 UTC 2011

4 files changed, 90 insertions, 0 deletions

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 <daniel@archlinux.org>
+# Contributor: Brice Carpentier <brice@dlfp.org>
+
+# 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