[m-dev.] diff: update gcc back-end web page

[Fergus Henderson]

Estimated hours taken: 0.25

w3/download/include/gcc-backend.inc:
	Update the documentation on the bug that was causing problems
	at `-O2', and suggest a more specific work-around
	(`--no-optimize-initializations' rather than `-O0').

Workspace: /mnt/murlibobo/home/mercury0/fjh/mercury
Index: w3/download/include/gcc-backend.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/gcc-backend.inc,v
retrieving revision 1.2
diff -u -d -r1.2 gcc-backend.inc
--- w3/download/include/gcc-backend.inc	2001/02/21 18:05:41	1.2
+++ w3/download/include/gcc-backend.inc	2001/02/27 17:37:17
@@ -18,8 +18,11 @@
 
 <p>
 
-One <b>very important</b> caveat is that at the moment it only works
-reliably if you pass the `-O0' option to mmc.
+The version of the GCC back-end interface included in Mercury 0.10
+had a bug that often caused the compiler to abort.  The work-around
+for that is to compile with `--no-optimize-initializations'.
+This is fixed in our CVS repository and in recent release-of-the-day
+snapshots.
 
 <p>
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------