[m-rev.] diff: update GCC back-end interface to GCC 3.2

[Fergus Henderson]

On 10-Sep-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> mercury/compiler/gcc.m:
> 	- Don't include gansidecl.h, since it is needed here.

Sorry, a typo in the log message:

	s/is needed/is not needed/

Also, I need to also update the documentation.  Hence the following.

----------

gcc/mercury/README:
        Fix a hard-coded host name: s/hydra/cvs.mercury/

w3/download/include/gcc-backend.inc:
	Update the documentation to reflect the fact that we now
	support GCC 3.2.

Workspace: /home/ceres/fjh/mercury
Index: w3/download/include/gcc-backend.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/gcc-backend.inc,v
retrieving revision 1.6
diff -u -d -r1.6 gcc-backend.inc
--- w3/download/include/gcc-backend.inc	1 Aug 2001 12:12:32 -0000	1.6
+++ w3/download/include/gcc-backend.inc	10 Sep 2002 09:57:41 -0000
@@ -13,18 +13,11 @@
 <H3>Status</H3>
 
 The version of the native code compiler in our CVS repository and our
-release-of-the-day distributions is based on GCC 3.0.
-However, although the Mercury native code compiler is based
-on GCC 3.0 sources, you need to use an earlier version of GCC, e.g. gcc 2.95.*,
-to compile it.  We strongly recommend that you
-do NOT <em>install</em> GCC 3.0, because the C compiler in GCC 3.0
-has some bugs that cause problems when it is used to compile the C
-files generated by the Mercury compiler.
+release-of-the-day distributions (after 2002-09-11) is based on GCC 3.2.
 
 <p>
 
-The version of the native code compiler in our CVS repository and our
-release-of-the-day distributions bootstraps, and passes all of the appropriate
+It bootstraps, and passes all of the appropriate
 tests in our test suite.  It is essentially ready for an official release.
 
 <p>
@@ -39,7 +32,7 @@
 Mercury 0.10.1 should be considered a beta release.  It does not support
 nested modules or tabled evaluation.  It was based on an
 unreleased snapshot version of the GCC back-end, and it does not
-work if you use it with GCC 3.0 instead. 
+work with any officially released version of GCC.
 
 <p>
 
@@ -66,11 +59,13 @@
 of Mercury), as well as the Mercury standard library (about 50,000
 lines of Mercury), runtime system (about 30,000 lines of C), etc.
 You'll need version 0.10, version 0.10.1,
-or (preferably) a release-of-the-day version dated 2001-07-30 or later.
+or (preferably) a release-of-the-day version dated 2002-09-11 or later.
 You can get this from the <a href="<?echo
 $root?>/download.html">Download</a> section of the Mercury web site.
 Or you can use
 <a href="<?echo $root?>/information/developers/remote_cvs.html">CVS</a>.
+It is in the "mercury" directory of the Mercury repository, so it can
+be checked out using "cvs checkout mercury".
 
 <li>
 The second part is the <b>gcc</b> distribution (about 450,000 lines of C).
@@ -78,11 +73,7 @@
 GCC web site</A>.  Or you can get it from the
 <A HREF="ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/">
 Mercury ftp site</A>.
-For current release-of-the-day versions of Mercury, you'll need GCC 3.0.
-One small
-<A HREF="ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/gcc-3.0.patch-for-mercury">
-patch</a> must be applied to the GCC 3.0 sources
-to make them work with the Mercury compiler.
+For current release-of-the-day versions of Mercury, you'll need GCC 3.1 or 3.2.
 For Mercury 0.10 or 0.10.1,
 you'll need the 20010129 shapshot of gcc,
 which you can get from the GCC cvs repository
@@ -90,7 +81,7 @@
 or from the
 <A HREF="ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/beta-releases/">
 Mercury ftp site</A>.
-A slightly different
+A small
 <A HREF="http://gcc.gnu.org/ml/gcc-patches/2001-01/msg00577.html">
 patch</a> must be applied to this snapshot of the GCC sources
 to make them work with the Mercury compiler.
@@ -103,14 +94,19 @@
 via the <A HREF="ftp://ftp.mercury.cs.mu.OZ.AU/pub/mercury/beta-releases/">
 Mercury ftp site</A>.
 For Mercury 0.10 or 0.10.1, get mercury-gcc-0.10.1.tar.gz.
-For release-of-the-day distributions, get mercury-gcc-rotd-20010731.tar.gz.
+For release-of-the-day distributions, get mercury-gcc-rotd-20020911.tar.gz.
 Alternatively, you can also get this using
-<a href="<?echo $root?>/information/developers/remote_cvs.html">CVS</a>.
+<a href="<?echo $root?>/information/developers/remote_cvs.html">CVS</a>;
+it is in the "gcc" directory of the Mercury repository, so it can
+be checked out using "cvs checkout gcc".
 </ul>
 
 Unfortunately the interface to the GCC back-end changes quite frequently,
 so you need to be careful that you get matching versions of all of the
 above.
+
+For directions on how to build from these sources, see the file
+gcc/mercury/README in the mercury-gcc distribution.
 
 <H3>Binaries</H3>
Index: README
===================================================================
RCS file: /home/mercury1/repository/gcc/mercury/README,v
retrieving revision 1.4
diff -u -d -u -r1.4 README
--- README	8 May 2001 14:38:38 -0000	1.4
+++ README	10 Sep 2002 10:02:06 -0000
@@ -46,11 +46,11 @@
 	cvs -d :pserver:anoncvs at gcc.gnu.org:/cvs/gcc checkout gcc
 
 	# password for Mercury cvs is `guest'
-	cvs -d :pserver:guest at hydra.cs.mu.oz.au:/home/mercury1/repository login
+	cvs -d :pserver:guest at cvs.mercury.cs.mu.oz.au:/home/mercury1/repository login
 	cd gcc
-	cvs -d :pserver:guest at hydra.cs.mu.oz.au:/home/mercury1/repository checkout gcc/mercury
+	cvs -d :pserver:guest at cvs.mercury.cs.mu.oz.au:/home/mercury1/repository checkout gcc/mercury
 	cd ..
-	cvs -d :pserver:guest at hydra.cs.mu.oz.au:/home/mercury1/repository checkout mercury
+	cvs -d :pserver:guest at cvs.mercury.cs.mu.oz.au:/home/mercury1/repository checkout mercury
 
 	cd gcc/gcc/mercury
 	ln -s ../../mercury mercury
 
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------