[m-dev.] for review: fix bug with fresh installation

[Fergus Henderson]

Estimated hours taken: 0.5

Mmake.common.in:
	Fix a problem introduced in Warwick's recent mmake changes,
	where mmake was invoking `mmc' before it had been installed.

Workspace: /home/mercury0/fjh/mercury
Index: Mmake.common.in
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmake.common.in,v
retrieving revision 1.39
diff -u -d -r1.39 Mmake.common.in
--- Mmake.common.in	1999/07/20 21:29:35	1.39
+++ Mmake.common.in	1999/11/09 08:38:18
@@ -156,6 +156,17 @@
 COMPILER_DIR = $(MERCURY_DIR)/compiler
 UTIL_DIR = $(MERCURY_DIR)/util
 
+# By default, GRADESTRING is defined as the result of invoking
+# `mmc --output-grade-string' with $(GRADE) and $(GRADEFLAGS).
+# But when installing the standard library, the compiler will not yet
+# have been installed.  So we need to define GRADESTRING here, in a way
+# that doesn't require invoking mmc.
+#
+# Note that the definition below does _not_ include GRADEFLAGS.
+# So any changes to the grade flags for the standard library or 
+# compiler itself should be done by setting GRADE, not GRADEFLAGS.
+GRADESTRING		= $(GRADE)
+
 # The names of the various libraries.
 # The archives and shared object objects have a "lib" prefix and a ".a" or
 # ".so" (or ".dll") suffix around these names; the initialization files
-- 
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
--------------------------------------------------------------------------