[m-rev.] diff: test_mercury: don't test hl.* grades

[Mark Brown]

On 12-Dec-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 0.5
> Branches: main
> 
> tools/test_mercury:
> 	Disable tests of the hl.* grades; those grades don't work
> 	(you get compiler errors when compiling the generated C code),
> 	due to conflicts between the header files for hl.* and hlc.*.
> 	So the hl.* grades are now only tested by building and installing
> 	them, not by running the test suite.
> 	Also make sure that the hlc.* grades get installed after the
> 	hl.* grades, so that the final copy of the header files installed
> 	is the hlc.* header files.
> 
> 	Also fix an old XXX: for ceres, bootstrap using the compiler
> 	in /home/ceres/mercury/public rather than the one in
> 	/home/mercury/public.  This will reduce NFS traffic.

Technically, this should be a separate change.

> 
> Workspace: /home/mercury/public/test_mercury/scripts
> 
> Workspace: /home/mercury/public/test_mercury/scripts/mercury
> Index: tools/test_mercury
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
> retrieving revision 1.172
> diff -u -d -r1.172 test_mercury
> --- tools/test_mercury	11 Dec 2001 07:24:21 -0000	1.172
> +++ tools/test_mercury	12 Dec 2001 07:41:38 -0000
> @@ -255,9 +255,7 @@
>  
>  # version of the mercury compiler to use for bootstrapping
>  case $HOST in
> -	hg|ender|roy|venus|earth|mars)
> -		# XXX Add ceres to the list above once a compiler
> -		# is installed there.
> +	hg|ender|roy|venus|earth|mars|ceres)
>  		BOOTSTRAP_MERCURY_COMPILER=/home/$HOST/public/$INSTALL_DIR_NAME/$FULLARCH/lib/mercury/bin/$FULLARCH/mercury_compile
>  		;;
>  	*)

When a new machine is added, the most convenient way of installing
the compiler is to delay adding its name here until the compiler
has bootstrapped.  The XXX comment also served the purpose of
documenting this, so it would be good if you left a comment here to
this effect now that the XXX is gone.

Cheers,
Mark.

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