[m-rev.] diff: enable trailed_mutable only when sensible

[Zoltan Somogyi]

tests/invalid/Mmakefile:
	Enable the trailed_mutable test only in trailing grades.

Zoltan.

cvs diff: Diffing .
cvs diff: Diffing benchmarks
cvs diff: Diffing debugger
cvs diff: Diffing debugger/declarative
cvs diff: Diffing dppd
cvs diff: Diffing general
cvs diff: Diffing general/accumulator
cvs diff: Diffing general/string_format
cvs diff: Diffing general/structure_reuse
cvs diff: Diffing grade_subdirs
cvs diff: Diffing hard_coded
cvs diff: Diffing hard_coded/exceptions
cvs diff: Diffing hard_coded/purity
cvs diff: Diffing hard_coded/sub-modules
cvs diff: Diffing hard_coded/typeclasses
cvs diff: Diffing invalid
Index: invalid/Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.178
diff -u -b -r1.178 Mmakefile
--- invalid/Mmakefile	29 Sep 2005 06:33:17 -0000	1.178
+++ invalid/Mmakefile	10 Oct 2005 07:46:55 -0000
@@ -155,7 +155,6 @@
 	state_vars_test5 \
 	tc_err1 \
 	tc_err2 \
-	trailed_mutable \
 	tricky_assert1 \
 	typeclass_bogus_method \
 	typeclass_constraint_extra_var \
@@ -203,11 +202,16 @@
 RESERVE_TAG_MODULES = \
 	reserve_tag
 
+# The following require a trailing grade
+TRAILED_MODULES = \
+	trailed_mutable
+
 # The following require that the back-end support the C interface
 C_INTERFACE_MODULES = \
 	foreign_decl_line_number
 
-# The following require that the compiler not ignore `pragma type_spec' declarations
+# The following require that the compiler not ignore `pragma type_spec'
+# declarations
 TYPE_SPEC_MODULES = \
 	type_spec
 
@@ -238,30 +242,37 @@
 # These tests test things which only work for back-ends which support
 # the C interface.
 ifneq "$(filter java% il%,$(GRADE))" ""
-C_INTERFACE_PROGS=
+	C_INTERFACE_PROGS=
 else
-C_INTERFACE_PROGS=$(C_INTERFACE_MODULES)
+	C_INTERFACE_PROGS=$(C_INTERFACE_MODULES)
 endif
 
 # The java and il grades compile with num_tag_bits = 0.
 ifneq "$(filter java% il%,$(GRADE))" ""
-RESERVE_TAG_PROGS =
+	RESERVE_TAG_PROGS =
+else
+	RESERVE_TAG_PROGS = $(RESERVE_TAG_MODULES)
+endif
+
+ifeq "$(filter tr%,$(GRADE))" ""
+	TRAILED_PROGS =
 else
-RESERVE_TAG_PROGS = $(RESERVE_TAG_MODULES)
+	TRAILED_PROGS = $(TRAILED_MODULES)
 endif
 
 # The java back-end ignores pragma type_spec, so it doesn't diagnose errors
 # in them. (XXX Perhaps the code to ignore them in make_hlds.m should be moved
 # to after the error-checking?)
 ifneq "$(filter java%,$(GRADE))" ""
-TYPE_SPEC_PROGS =
+	TYPE_SPEC_PROGS =
 else
-TYPE_SPEC_PROGS = $(TYPE_SPEC_MODULES)
+	TYPE_SPEC_PROGS = $(TYPE_SPEC_MODULES)
 endif
 
 SINGLEMODULE_PROGS = $(SINGLEMODULE) \
 	$(C_INTERFACE_PROGS) \
 	$(RESERVE_TAG_PROGS) \
+	$(TRAILED_PROGS) \
 	$(TYPE_SPEC_PROGS)
 
 #-----------------------------------------------------------------------------#
cvs diff: Diffing invalid/purity
cvs diff: Diffing misc_tests
cvs diff: Diffing mmc_make
cvs diff: Diffing mmc_make/lib
cvs diff: Diffing recompilation
cvs diff: Diffing tabling
cvs diff: Diffing term
cvs diff: Diffing valid
cvs diff: Diffing warnings
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------