[m-rev.] diff: workaround nightly build failures

[Julien Fischer]

I'll post a proper fix for this sometime later today.
The workaround will need to remain until it has boostrapped on all
our machines.


Estimated hours taken: 0.1
Branches: main

Work around a problem that is breaking the nightly builds.

Mmake.common.in:
 	The namespace cleanliness check is failing in the library
 	directory because the compiler does not prefix mutable names
 	with `mercury_' when the mutable is defined in a standard
 	library module.  Work around this problem by temporarily
 	accepting `pretty_printer_' as a valid name prefix.

Julien.

Index: Mmake.common.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/Mmake.common.in,v
retrieving revision 1.92
diff -u -r1.92 Mmake.common.in
--- Mmake.common.in	21 Dec 2006 11:11:13 -0000	1.92
+++ Mmake.common.in	5 Aug 2007 15:02:37 -0000
@@ -291,11 +291,16 @@
  # XXX The base_typeclass_info prefix is allowed only temporarily; it should
  # be fixed by adding a prefix giving the name of the module defining the
  # typeclass.
+#
+# XXX the pretty_printer_ prefix is allows only temporarily; it is necessary
+# because the name of global variables used for mutables in rotd-2007-08-06 and
+# before were not being prefixed with `mercury_' if they were defined in
+# standard library modules.

  GEN_MACRO_PREFIX_EXPRS = \
  	-e '^MR_' -e '^MERCURY_' -e '^GC_' -e '^MPS_' -e '^mps_'
  GEN_OBJ_PREFIX_EXPRS = \
-	-e '^MR_' -e '^_entry' -e '^mercury_'  -e '^base_typeclass_info_' 
+	-e '^MR_' -e '^_entry' -e '^mercury_'  -e '^base_typeclass_info_' -e '^pretty_printer_'

  ifeq ("$(ALLOW_LIB_PREFIX)","yes")
  LIB_MACRO_PREFIX_EXPRS = \

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------