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

[Samrith UONG]

On 2/16/06, Julien Fischer <juliensf at cs.mu.oz.au> wrote:
> Great, I guess you might also want to mention that it can make use of
> multiple machines whilst performing this search or something to that
> effect.

OK.

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:20:05 -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,13 @@
   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, which can run in parallel over
+  multiple hosts (by default, 1).
+

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