[m-rev.] trivial diff: workaround assertion failures in browser directory

[Julien Fischer]

(This should get the nightly builds back up and running.)

Estimated hours taken: 0
Branches: main

browser/Mercury.options:
	Workaround some bugs that cause assertion failures
	in the browser directory when compiling with -O5
	--intermodule-optimization --opt-space.
Julien.

Index: Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/Mercury.options,v
retrieving revision 1.7
diff -u -r1.7 Mercury.options
--- Mercury.options	29 Apr 2005 02:40:18 -0000	1.7
+++ Mercury.options	6 Oct 2005 08:46:25 -0000
@@ -14,5 +14,10 @@
 # exposes.
 MCFLAGS-mdb.declarative_edt = --no-optimize-higher-order

+# Bug workarounds for problems introduced in about rotd-2005-10-05.
+#
+MCFLAGS-mdb.declarative_execution = -O0
+MCFLAGS-mdb.declarative_analyser = -O0
+
 EXTRA_LIBRARIES-libmer_browser.so = mer_mdbcomp
 EXTRA_LIBRARIES-libmer_browser.dylib = mer_mdbcomp

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------