[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