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

[Tyson Dowd]

On 21-May-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 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.

As long as everyone is aware that this is the case, no problems. 

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

I'll fix the symlink up (if I have the permissions) and use the
symlinked directory.

-- 
       Tyson Dowd           # So I asked Sarah: what's the serial number on
                            # your computer? She replied:
     trd at cs.mu.oz.au        #          A-C-2-4-0-V-/-5-0-H-Z
http://www.cs.mu.oz.au/~trd #