[m-rev.] for review: modified gator's configuration files to have more sensible defaults

[Julien Fischer]

On Mon, 13 Feb 2006, Samrith UONG wrote:

> For review by Ralph.
>
> Estimated hours taken: 0.2
>
> Changed the configuration files so that the program will work without
> any additional configuration.
>
> mercury/extras/gator/evaluate.conf:
>         Instead of using the benchmark programs in the benchmarks
> directory (which
>         the user might not have access to), use mercury/samples/hello.m as the
>         benchmark program.
>
> mercury/extras/gator/evolve.conf:
>         Since the evaluate.conf file was changed so that there is only
> one benchmark
>         program, we need to change the length of the first term.
>
> mercury/extras/gator/gator.conf:
>         In the previous revision, the hosts sophie, boadicea,
> surprise, lively and
>         leopard were used.  Rather than use these hosts, which are
> only available to
>         Mercury developers, use `hostname` instead.
>

The indentation in this log message has gone funny.

...

> -host4=lively
> -workspace4=/home/mercury/samrith/gator
> -benchmarks4=/home/lively/samrith/benchmarks
> -path4=/home/lively/public/mercury-latest/i686-pc-linux-gnu/bin
> -
> -host5=leopard
> -workspace5=/home/mercury/samrith/gator
> -benchmarks5=/home/leopard/samrith/benchmarks
> -path5=/home/leopard/public/mercury-latest/i686-pc-linux-gnu/bin
> +host1=`hostname`

You'll want `hostname -s` here because on BSD (and BSD based systems
like Mac OS X) hostname will print out a fully domain qualified name.

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