[m-rev.] diff: disable tests/tabling/specified in hl* grades

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

tests/tabling/Mmakefile:
	Don't run tabling/specified in the high-level grades.
	It uses the '--allow-table-reset' option which is only
	implemented for the LLDS backend.

Julien.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/Mmakefile,v
retrieving revision 1.38
diff -u -r1.38 Mmakefile
--- Mmakefile	14 Aug 2005 03:20:57 -0000	1.38
+++ Mmakefile	18 Aug 2005 14:20:51 -0000
@@ -18,7 +18,6 @@
 	loopcheck_no_loop \
 	loopcheck_nondet_no_loop \
 	oota \
-	specified \
 	table_foreign_output \
 	test_enum \
 	unused_args
@@ -32,6 +31,15 @@
 	BROKEN_FOR_PROFDEEP_NONLOOP_PROGS =
 endif

+# The following test uses the '--allow-table-reset' option
+# which is not implemented for the MLDS backend.
+ifeq "$(findstring hl,$(GRADE))" ""
+	LLDS_ONLY_NONLOOP_PROGS = \
+		specified
+else
+	LLDS_ONLY_NONLOOP_PROGS =
+endif
+
 SIMPLE_LOOP_PROGS = \
 	loopcheck \
 	loopcheck_nondet \
@@ -72,6 +80,7 @@

 ALL_SIMPLE_PROGS = $(SIMPLE_NONLOOP_PROGS) \
 			$(BROKEN_FOR_PROFDEEP_NONLOOP_PROGS) \
+			$(LLDS_ONLY_NONLOOP_PROGS) \
 			$(SIMPLE_LOOP_PROGS)

 ALL_MINIMAL_PROGS = $(MINIMAL_NONLOOP_PROGS)

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------