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

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Feb 13 22:07:43 AEDT 2006


On Mon, 13 Feb 2006, Samrith UONG wrote:

> On 2/13/06, Julien Fischer <juliensf at cs.mu.oz.au> wrote:
> >
> > 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.
> >
>
> OK I'll do it properly when I commit.
>

You should also announce it this in the NEWS file.  (We should also
announce it on the webpage but we'll wait until we have a bit more
expereince with it.)

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



More information about the reviews mailing list