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
4 AC_SUBST(GNOME_SHARP_LIBS)
5 AM_CONDITIONAL(ENABLE_GNOME, test "x$enable_gnome" = "xyes")
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"
11 - PKG_CHECK_MODULES(GTKHTML_SHARP, gtkhtml-sharp-2.0, enable_gtkhtml=yes, enable_gtkhtml=no)
13 -AC_SUBST(GTKHTML_SHARP_LIBS)
14 AM_CONDITIONAL(ENABLE_GTKHTML, test "x$enable_gtkhtml" = "xyes")
16 AC_SUBST(CSHARP_FLAGS)
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")
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)
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")