[m-rev.] diff: workaround for bug #170

[Julien Fischer]

Add a workaround for bug #170.

ssdb/Mercury.options:
 	Restrict one of the inlining thresholds to its level at -O4,
 	since its -O5 value causes an abort in the compiler.

Julien.

Index: ssdb/Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/ssdb/Mercury.options,v
retrieving revision 1.5
diff -u -r1.5 Mercury.options
--- ssdb/Mercury.options	26 Oct 2010 04:59:10 -0000	1.5
+++ ssdb/Mercury.options	26 Nov 2010 04:52:34 -0000
@@ -6,6 +6,10 @@
  # Mercury.options - module-specific flags for Mmake and `mmc --make'.
  #-----------------------------------------------------------------------------#

+# Workaround for bug #170.
+#
+MCFLAGS-ssdb = --inline-compound-threshold 20
+
  MCFLAGS-mer_ssdb = --no-warn-nothing-exported --no-warn-unused-imports

  # XXX This line is needed so that `mmake --use-mmc-make libmer_ssdb'

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------