[m-rev.] diff: install .trseg grades

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Sep 8 00:34:14 AEST 2008


tools/test_mercury:
 	Install .trseg grades on some of our machines.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.342
diff -u -r1.342 test_mercury
--- test_mercury	29 Aug 2008 08:57:26 -0000	1.342
+++ test_mercury	7 Sep 2008 14:32:40 -0000
@@ -473,6 +473,7 @@
              hlc.gc                          \
              hlc.gc.tr                       \
              hlc.gc.tr.ll_debug              \
+            hlc.gc.trseg                    \
              asm_fast.gc.tr.prof             \
              asm_fast.gc.tr.memprof          \
              asm_fast.gc.tr.profdeep" 
@@ -484,6 +485,7 @@
          CONFIG_OPTS="--with-cc=/usr/bin/gcc-3.4"
          INSTALL_LIBGRADES="hlc.gc           \
              hlc.gc.tr                       \
+            hlc.gc.trseg                    \
              hlc.par.gc                      \
              asm_fast.gc                     \
              asm_fast.par.gc                 \
@@ -568,8 +570,10 @@
          INSTALL_GRADE="hlc.gc"
          INSTALL_LIBGRADES="hlc.gc   \
              hlc.gc.tr               \
+            hlc.gc.trseg            \
              hlc.gc.tr.ll_debug      \
              none.gc.tr              \
+            none.gc.trseg           \
              none.gc.tr.debug"
          ;;
      taura)
@@ -581,7 +585,8 @@
              asm_fast.gc.profdeep        \
              asm_fast.gc.decldebug       \
              hlc.gc                      \
-            hlc.gc.tr"
+            hlc.gc.tr                   \
+            hlc.gc.trseg"
          ;;
      *)
          CONFIG_OPTS=""

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