[m-rev.] trivial diff: update test_mercury script for .par grades

[Julien Fischer]

tools/test_mercury:
	Add a workaround from Peter Wang for a problem with the lowlevel .par
	grades on Linux hosts.  (The need for this should go away when we
	move to newer versions of libc).

	Install asm_fast.par.gc on ceres.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.288
diff -u -r1.288 test_mercury
--- test_mercury	9 Mar 2006 23:52:21 -0000	1.288
+++ test_mercury	20 Mar 2006 03:58:21 -0000
@@ -394,7 +394,8 @@
 					hlc.par.gc	\
 					asm_fast.gc	\
 					asm_fast.gc.tr	\
-					asm_fast.gc.tr.debug"
+					asm_fast.gc.tr.debug \
+					asm_fast.par.gc"
 		;;
 	saturn)
 		CONFIG_OPTS="--disable-dotnet-grades"
@@ -483,7 +484,7 @@
 esac


-	# The deep profiler needs to be included in the source distribution.
+# The deep profiler needs to be included in the source distribution.
 case $HOST in $ROTD_HOST)
 	CONFIG_OPTS="$CONFIG_OPTS \
 	    --enable-deep-profiler=$TOPDIR/installed_w3/cgi-bin"
@@ -493,6 +494,12 @@
 	;;
 esac

+# We need this for lowlevel .par grades to work correctly on earth (and
+# probably any other Linux machine that is using Debian 3.1).
+case $HOST in earth)
+	export LD_ASSUME_KERNEL=2.4.30 ;;
+esac
+
 #-----------------------------------------------------------------------------#

 # Sometimes, bootstrapping problems mean that we need to install

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