[m-dev.] for review: add hydra to list nightly install scripts

[Fergus Henderson]

On 21-May-1998, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> Add hydra to the nightly installation scripts.
> 
> tools/run_all_tests_from_cron:
> tools/test_mercury:
> 	Add hydra, using much the same options as mercury, but
> 	using a local install directory (for the moment) on /home/hydra.

The right way to do this, IMHO, is to put a symlink in
/home/mercury/public/mercury-latest/i686-pc-linux-gnu
pointing to /home/hydra/public/mercury-latest/i686-pc-linux-gnu.

Everything should be installed in /home/mercury/public,
with symlinks to some appropriate filesystem;
that way it's easy to move things from one filesystem to another.

Really the FULLARCH should include anything that affects binary
compatibility, so it should be something like `i686-pc-linux-libc6-gnu'.
But we happen to be fortunate that Mercury is an i586 and Hydra is an i686,
so we don't need that.

> Index: tools/test_mercury
> @@ -61,6 +62,12 @@
>  DIR=$TESTDIR/test_dirs/$HOST
>  INSTALL_DIR=/home/mercury/public/mercury-latest/$FULLARCH
>  
> +case $HOST in
> +	# install hydra's compiler in /home/hydra
> +	hydra)	INSTALL_DIR=/home/hydra/public/mercury-latest
> +	;;
> +esac

Here I think you should use a symlink instead.

>  # version of the mercury compiler to use for bootstrapping
> -BOOTSTRAP_MERCURY_COMPILER=/home/mercury/public/mercury-latest/$FULLARCH/lib/mercury/bin/$FULLARCH/mercury_compile
> +case $HOST in
> +	hydra)	BOOTSTRAP_MERCURY_COMPILER=/home/hydra/public/mercury-latest/lib/mercury/bin/$FULLARCH/mercury_compile
> +	;;
> +	*)	BOOTSTRAP_MERCURY_COMPILER=/home/mercury/public/mercury-latest/$FULLARCH/lib/mercury/bin/$FULLARCH/mercury_compile
> +	;;
> +esac

If you use a symlink this change isn't needed.

Apart from that, it looks fine.

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