[m-dev.] diff: changes to tools/test_mercury

[Fergus Henderson]

Estimated hours taken: 0.5

tools/test_mercury:
	- delete the stuff for `muse', since muse is long dead
	- don't test all grades on kryten, since (a) the tests
	  take too long and (b) installation of the the jump/fast
	  grades fails to due problems with type classes in browser/*.m
	  and non-constness of entry labels in those grades.
	- ensure that we test all the grades that are installed
	  (the lists of grades to test for each machine is hard-coded
	  here and had suffered from some software rot).

Workspace: /mount/munkora/clp/mercury/public/test_mercury
Index: scripts/mercury/tools/test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.101
diff -u -d -u -r1.101 test_mercury
--- test_mercury	1999/10/26 15:38:11	1.101
+++ test_mercury	1999/10/31 04:50:26
@@ -61,7 +61,6 @@
 	quicksilver) 	OPTIMIZE=-O3 ;;
 	hg) 		OPTIMIZE=-O4 ;;
 	hydra)		OPTIMIZE=-O2 ;;
-	muse)		OPTIMIZE=-O0 ;;
 	munta)		OPTIMIZE=-O0 ;;
 esac
 
@@ -123,7 +122,6 @@
 case $HOST in
 	kryten) 	PARALLEL=-j2 ;; # out of three CPUs
 	rimmer) 	PARALLEL=-j2 ;; # out of two CPUs
-	muse)		PARALLEL=-j2 ;; # out of four CPUs
 	munta)		PARALLEL=-j2 ;; # out of four CPUs
 	mundook) 	PARALLEL=-j1 ;; # out of two CPUs
 	murlibobo)	PARALLEL=-j6 ;; # out of eight CPUs
@@ -194,7 +192,8 @@
 	kryten)		
 		# On kryten & taifun, there is a bug in readline which causes
 		# it to go into an infinite loop when reading from a file.
-		CONFIG_OPTS="--enable-all-grades --without-readline" ;;
+		#CONFIG_OPTS="--enable-all-grades --without-readline" ;;
+		CONFIG_OPTS="--without-readline" ;;
 	taifun)		
 		# On kryten & taifun, there is a bug in readline which causes
 		# it to go into an infinite loop when reading from a file.
@@ -296,7 +295,7 @@
     esac
 
     case $HOST in
-	muse|munta)
+	munta)
 		# see README.IRIX for an explanation of these contortions
 		
 		mmake install LIBGRADES="asm_fast.gc.prof asm_fast" \
@@ -352,10 +351,11 @@
 
 : test and install the CLPR interface
 case $HOST in
-	kryten|murlibobo)
+	murlibobo)
+		# requires --enable-all-grades
 		GRADES="asm_fast.gc.tr asm_fast.tr"
 		;;
-	hg|quicksilver|hydra|taifun)
+	hg|quicksilver|hydra|kryten|taifun)
 		GRADES="asm_fast.gc.tr"
 		;;
 	*)
@@ -460,26 +460,38 @@
 			asm_fast asm_fast.gc
 			asm_fast.prof asm_fast.gc.prof
 			asm_fast.gc.memprof
+			asm_fast.gc.tr asm_fast.tr asm_fast.gc.prof.tr
+			asm_fast.gc.tr.debug
 			"
 		;;
-	kryten)
-		GRADES="none jump fast asm_jump asm_fast none.gc
-			jump.gc fast.gc asm_jump.gc
-			asm_fast.gc asm_fast.gc.prof asm_fast.prof
-			asm_fast.gc.tr"
-		;;
-	taifun|rimmer)
+# requires --enable-all-grades
+#	kryten)
+#		GRADES="none jump fast asm_jump asm_fast none.gc
+#			jump.gc fast.gc asm_jump.gc
+#			asm_fast.gc asm_fast.gc.prof asm_fast.prof asm_fast.gc.memprof
+#			asm_fast.gc.tr asm_fast.tr asm_fast.gc.prof.tr asm_fast.gc.tr.debug"
+#		;;
+	kryten|taifun|rimmer)
 		GRADES="asm_fast.gc asm_fast asm_fast.gc.prof asm_fast.prof
 			asm_fast.gc.memprof asm_fast.gc.tr
 			asm_fast.gc.tr.debug"
 		;;
-	muse|munta)
+	munta)
 		GRADES="reg.gc asm_fast asm_fast.gc
 			reg.gc.prof asm_fast.gc.prof"
+		# Don't bother with these, otherwise it would take forever...
+		#	reg.prof asm_fast.prof reg.gc.memprof reg.gc.tr reg.gc.tr.debug
 		;;
-	hg|quicksilver|hydra)
-		GRADES="asm_fast.gc asm_fast \
-			asm_fast.gc.prof asm_fast.prof"
+	hg|hydra)
+		GRADES="asm_fast.gc asm_fast
+			asm_fast.gc.prof asm_fast.prof
+			asm_fast.gc.memprof asm_fast.gc.tr asm_fast.gc.tr.debug"
+		;;
+	quicksilver)
+		GRADES="asm_fast.gc asm_fast asm_fast.gc.tr.debug"
+		# Don't bother with these, otherwise it would take forever...
+		#	asm_fast.gc.prof asm_fast.prof
+		#	asm_fast.gc.memprof asm_fast.gc.tr"
 		;;
 esac
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------