[m-rev.] diff: workaround to fix nightly builds

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

library/Mercury.options:
	Workaround a bug in the compiler that is causing the
	library to fail to build in grade asm_fast.gc.tr.debug
	at -O5.  This is just to get the nightly builds up and
	running again.

Julien.

Index: Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mercury.options,v
retrieving revision 1.8
diff -u -r1.8 Mercury.options
--- Mercury.options	8 Aug 2005 02:12:04 -0000	1.8
+++ Mercury.options	15 Aug 2005 07:10:07 -0000
@@ -20,7 +20,8 @@
 MCFLAGS-std_util += --no-halt-at-warn
 MCFLAGS-dir += --no-halt-at-warn
 MCFLAGS-exception += --no-halt-at-warn
-
+MCFLAGS-version_store += -O0
+
 # io.m uses library features that are supported by POSIX but which are not
 # part of ANSI C, such as `struct stat', fileno(), and putenv().
 # We need to pass --no-ansi to mgnuc to ensure that these are declared.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------