[m-rev.] trivial diff: test_mercury updates for saturn

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Aug 26 15:09:16 AEST 2009


Update the test_mercury for saturn

tools/test_mercury:
 	Use trseg grades in preference to tr ones.

 	Updates caused by the OS reinstall on saturn.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.354
diff -u -r1.354 test_mercury
--- test_mercury	14 Jul 2009 04:57:06 -0000	1.354
+++ test_mercury	26 Aug 2009 05:06:31 -0000
@@ -418,16 +418,16 @@

  case $HOST in
      saturn)
-        CONFIG_OPTS="--disable-dotnet-grades"
+        CONFIG_OPTS="--with-cc=/usr/bin/gcc-3.4"
          INSTALL_LIBGRADES="asm_fast.gc  \
              asm_fast.gc.decldebug       \
              asm_fast.gc.memprof         \
              asm_fast.gc.prof            \
-            asm_fast.gc.tr              \
-            asm_fast.gc.tr.debug        \
-            asm_fast.gc.tr.profdeep     \
+            asm_fast.gc.trseg           \
+            asm_fast.gc.trseg.debug     \
+            asm_fast.gc.trseg.profdeep  \
              hlc.gc                      \
-            hlc.gc.tr                   \
+            hlc.gc.trseg                \
              hlc.par.gc                  \
              asm_fast.par.gc"
          ;;
@@ -984,7 +984,7 @@
          fullname=i686-pc-linux-libc2.7-gnu-O2-intermod
          ;;
      saturn)
-        fullname=x86_64-unknown-linux-gnu-libc2.3-gnu-O5-intermod
+        fullname=x86_64-unknown-linux-gnu-libc2.7-gnu-O5-intermod
          ;;
      neptune)
          fullname=x86_64-unknown-linux-gnu-libc2.9-gnu-O4

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



More information about the reviews mailing list