[m-dev.] diff: update `--enable-*' options in test_mercury

[Fergus Henderson]

For both the release and main branches...

----------

Estimated hours taken: 0.25

tools/test_mercury:
	Use the new names for the `--enable-*' options to configure.

NEWS:
	Mention that the option names have changed.
	This is worth mentioning in the NEWS file since autoconf
	will silently ignore wrong `--enable-*' option names,
	rather than reporting an error.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.184
diff -u -d -u -r1.184 NEWS
--- NEWS	2000/12/18 14:11:30	1.184
+++ NEWS	2000/12/23 11:53:01
@@ -191,6 +191,10 @@
 	  extras/dynamic/dl.m in the mercury-extras distribution)
 	  for procedures with arguments of type `float' or `char'
 
+* The names of some of the `--enable-*' options to `configure' have changed.
+
+  See the output of `configure --help' for details.
+
 Changes to the development environment:
 
 * Several improvements have been made to `mtags' to make it easier to

Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.126
diff -u -d -u -r1.126 test_mercury
--- test_mercury	2000/12/14 06:20:05	1.126
+++ test_mercury	2000/12/23 11:41:17
@@ -206,7 +206,7 @@
 
 case $HOST in
 	murlibobo)
-		CONFIG_OPTS="--enable-all-grades" ;;
+		CONFIG_OPTS="--enable-most-grades" ;;
 	kryten)		
 		# On kryten & taifun, there is a bug in readline which causes
 		# it to go into an infinite loop when reading from a file.
@@ -219,7 +219,7 @@
 	ender)
 		# Test out these options, to make sure they continue
 		# to work
-		CONFIG_OPTS="--enable-all-hlc-grades \
+		CONFIG_OPTS="--enable-hlc-prof-grades \
 			--enable-new-mercuryfile-struct" ;;
 	roy)
 		CONFIG_OPTS=""
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------