[m-rev.] for review: update info on download page

[Peter Wang]

On 2009-10-01, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> You should also change the test in configure since I don't think it does
> switch the grade for 4.1.

I'm also removing the recommendation of gcc 4.1 on the stable release page.

Branches: main

configure.in:
	Force the LLDS base grade to be none if we are using gcc 4.1.

diff --git a/configure.in b/configure.in
index 149cddb..609641b 100644
--- a/configure.in
+++ b/configure.in
@@ -2986,11 +2986,11 @@ case "$mercury_cv_user_base_grade" in
         fi
 
         # Force the use of the none base grade if the C compiler
-        # is GCC 4.{2,3,4}.  The asm_fast and reg grades either
+        # is GCC 4.{1,2,3,4}.  The asm_fast and reg grades either
         # don't work or are unstable with those versions.
-        # (See bugs #66 an #78 in the Mercury bug database.)
+        # (See bugs #39, #66 and #78 in the Mercury bug database.)
         case "$mercury_cv_gcc_version" in
-            4_2_*|4_3_*|4_4_*)
+            4_1_*|4_2_*|4_3_*|4_4_*)
                 BEST_LLDS_BASE_GRADE=none
             ;;
         esac

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------