[m-dev.] diff: install MLDS grade

[Fergus Henderson]

With my previous change, it looks like installation of the hlc.gc
grade works fine now.  So I'll go ahead and enable it.  So far I have
only tested this a little bit, I haven't tested it very thoroughly
yet.  But for this change committing and then waiting for the nightly
tests is by far the easiest way to test it, so I'll go ahead and do it
that way.

----------

Estimated hours taken: 0.25

configure.in:
	Add `hlc.gc' to the list of grades that we install by default.

Workspace: /home/pgrad/fjh/ws/hg2
Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.203
diff -u -d -r1.203 configure.in
--- configure.in	2000/04/10 05:36:59	1.203
+++ configure.in	2000/05/16 21:48:53
@@ -1689,6 +1689,9 @@
 # add `.debug' (--debug) grades
 LIBGRADES="$LIBGRADES $DEFAULT_GRADE.tr.debug"
 
+# add `hlc' (--high-level-code, i.e. MLDS back-end) grade
+LIBGRADES="$LIBGRADES hlc.gc"
+
 # remove GRADE from LIBGRADES
 LIBGRADES=` echo " $LIBGRADES " | sed "s/ $GRADE / /" `
 MERCURY_MSG("using \`LIBGRADES=$LIBGRADES' as the set of library grades to install")

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- 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
--------------------------------------------------------------------------