[m-rev.] trivial diff: change build details on neptune

Julien Fischer juliensf at csse.unimelb.edu.au
Fri May 8 23:16:22 AEST 2009


tools/test_mercury:
 	neptune now has direct access to the repository.

 	Install .trseg grades instead of .tr grades.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.349
diff -u -r1.349 test_mercury
--- test_mercury	15 Apr 2009 06:25:23 -0000	1.349
+++ test_mercury	8 May 2009 13:13:16 -0000
@@ -63,7 +63,7 @@
      :
  else
      case "$HOST" in
-        neptune|goofy|eris|bob)
+        goofy|eris|bob)
          CVSROOT=":ext:mercury at cvs.mercury.csse.unimelb.edu.au:$CVSROOT"
          ;;
          *)
@@ -431,16 +431,15 @@
      neptune)
          CONFIG_OPTS="--with-cc=/usr/bin/gcc-3.4"
          INSTALL_LIBGRADES="asm_fast.gc      \
-            asm_fast.gc.tr                  \
+            asm_fast.gc.trseg               \
              asm_fast.gc.tr.ll_debug         \
-            asm_fast.gc.tr.debug            \
+            asm_fast.gc.trseg.debug         \
              hlc.gc                          \
-            hlc.gc.tr                       \
-            hlc.gc.tr.ll_debug              \
+            hlc.gc.trseg.ll_debug           \
              hlc.gc.trseg                    \
-            asm_fast.gc.tr.prof             \
-            asm_fast.gc.tr.memprof          \
-            asm_fast.gc.tr.profdeep" 
+            asm_fast.gc.trseg.prof          \
+            asm_fast.gc.trseg.memprof       \
+            asm_fast.gc.trseg.profdeep"
          ;;
      goofy)
          DEFAULT_GRADE="hlc.gc"

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