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

[Samrith UONG]

On 2/15/06, Julien Fischer <juliensf at cs.mu.oz.au> wrote:
>
> On Wed, 15 Feb 2006, Samrith UONG wrote:
>
> > On 2/13/06, Julien Fischer <juliensf at cs.mu.oz.au> wrote:
> > >
> > > 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.)
> > >
> >
> > Is this enough or too brief?
> >
>
> It's fine for the highlights section - you may want to add something
> to the detailed listing as well though?
>

Oh I didn't notice that section.  How is this?

Index: NEWS
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/NEWS,v
retrieving revision 1.400
diff -u -r1.400 NEWS
--- NEWS        30 Jan 2006 06:37:17 -0000      1.400
+++ NEWS        16 Feb 2006 03:02:45 -0000
@@ -74,6 +74,7 @@
 Changes to the extras distribution:
 * We've added a library of data structures designed to work with solver types.
 * We've added a library to generate Windows installer packages.
+* We've added a program to generate optimisation flags for the compiler.


 DETAILED LISTING
@@ -217,6 +218,12 @@
   generate Wix source files.  WiX is an XML language that is used to generate
   Microsoft Windows Installer (.msi) packages.

+* We've added a program to generate optimisation flags for the compiler.
+
+  The directory extras/gator contains a program to search for the
+  optimal set of compiler flags for a given program.  The search
+  algorithm used is a genetic algorithm.
+

 NEWS for Mercury 0.12.1
 ------------------------

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