[m-dev.] for review: add web page for GCC back-end

[Fergus Henderson]

On 20-Feb-2001, David Jeffery <dgj at cs.mu.OZ.AU> wrote:
> My only comment is that perhaps the general information about the gcc back
> end shouldn't go in the 'download' directory. But then, I don't think it is
> worth splitting the download information from the general description. Commit
> it as is --- we can split it later on if the description grows to more than
> a few paragraphs.

Yes, I thought about that as I was writing this.
I came to basically the same conclusion.
Anyway, I've committed that.

One thing that I discovered after committing it is that my testing
thus far had been limited to testing with `-O0', and the default `-O2'
does not work -- there is some bug which causes mlds_to_gcc.m to throw
a "Software Error: mlds_to_gcc.m: Unexpected: undeclared variable: ..."
exception.  Hence the following addition.  Hopefully I'll be able to
track this one down and fix is fairly soon.

----------

Estimated hours taken: 0.25

w3/download/include/gcc-backend.inc:
	Warn that it only works reliability at `-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.1
diff -u -d -r1.1 gcc-backend.inc
--- w3/download/include/gcc-backend.inc	2001/02/20 07:08:00	1.1
+++ w3/download/include/gcc-backend.inc	2001/02/21 17:58:10
@@ -18,6 +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.
+
+<p>
+
 For more information, see the file gcc/mercury/README
 in the mercury-gcc distribution (see below).
 

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