mono-tools-configure.patch

   1 --- mono-tools-2.10/configure.in.orig   2011-05-20 23:33:52.523488704 +0200
   2 +++ mono-tools-2.10/configure.in        2011-05-20 23:34:59.173127631 +0200
   3 @@ -62,27 +62,12 @@ fi
   4  AC_SUBST(GNOME_SHARP_LIBS)
   5  AM_CONDITIONAL(ENABLE_GNOME, test "x$enable_gnome" = "xyes")
   6
   7 -PKG_CHECK_MODULES(GTKHTML_SHARP, gtkhtml-sharp-3.14, enable_gtkhtml=yes, enable_gtkhtml=no)
   8 -if test "x$enable_gtkhtml" = "xyes"; then
   9 -       CSHARP_FLAGS="-d:GTKHTML_SHARP_3_14 $CSHARP_FLAGS"
  10 -else
  11 -       PKG_CHECK_MODULES(GTKHTML_SHARP, gtkhtml-sharp-2.0, enable_gtkhtml=yes, enable_gtkhtml=no)
  12 -fi
  13 -AC_SUBST(GTKHTML_SHARP_LIBS)
  14  AM_CONDITIONAL(ENABLE_GTKHTML, test "x$enable_gtkhtml" = "xyes")
  15
  16  AC_SUBST(CSHARP_FLAGS)
  17
  18 -PKG_CHECK_MODULES(GECKO_SHARP, gecko-sharp-2.0, enable_gecko=yes, enable_gecko=no)
  19 -AC_SUBST(GECKO_SHARP_LIBS)
  20  AM_CONDITIONAL(ENABLE_GECKO, test "x$enable_gecko" = "xyes")
  21
  22 -if test "x$enable_gecko" = "xyes"; then
  23 -   # get the mozilla home directory
  24 -   MOZILLA_HOME="`$PKG_CONFIG --variable=libdir mozilla-gtkmozembed`"
  25 -   AC_SUBST(MOZILLA_HOME)
  26 -fi
  27 -
  28  PKG_CHECK_MODULES(WEBKIT_SHARP, webkit-sharp-1.0, enable_webkit=yes, enable_webkit=no)
  29  AC_SUBST(WEBKIT_SHARP_LIBS)
  30  AM_CONDITIONAL(ENABLE_WEBKIT, test "x$enable_webkit" = "xyes")