[m-rev.] diff: workaround bug #354 in the cairo binding

[Julien Fischer]

Branches: 14.01, master

Workaround bug #354 in the cairo binding.

extras/graphics/mercury_cairo/Mercury.options:
 	Add a workaround for bug #354.

 	Don't attempt to install his library in the csharp grade.

diff --git a/extras/graphics/mercury_cairo/Mercury.options b/extras/graphics/mercury_cairo/Mercury.options
index d19397d..66872e0 100644
--- a/extras/graphics/mercury_cairo/Mercury.options
+++ b/extras/graphics/mercury_cairo/Mercury.options
@@ -4,6 +4,7 @@ include Cairo.options
  # It does not work with single-precision floats.
  #
  MCFLAGS = \
+	--libgrades-exclude csharp					\
  	--libgrades-exclude java 					\
  	--libgrades-exclude erlang 					\
  	--libgrades-exclude spf						\
@@ -11,4 +12,8 @@ MCFLAGS = \
  	--cflags $(CAIRO_CFLAGS)					\
  	--ld-flags $(CAIRO_LDFLAGS)

+# Workaround for Mercury bug #354.
+#
+MCFLAGS += --trace-table-io-only-retry
+
  MCFLAGS-mercury_cairo = --no-warn-nothing-exported --no-warn-interface-imports