[m-rev.] trivial diff: disable tests/tabling/memo_non in .profdeep grades

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

tests/tabling/Mmakefile:
	Do not run the memo_non testcase in .profdeep grades.
	The runtime support for deep profiling of tabled nondet
	predicates is currently not implemented.

Julien.

Index: tabling/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/Mmakefile,v
retrieving revision 1.36
diff -u -r1.36 Mmakefile
--- tabling/Mmakefile	7 Jun 2005 03:00:07 -0000	1.36
+++ tabling/Mmakefile	30 Jul 2005 08:25:56 -0000
@@ -17,12 +17,20 @@
 	fib_string \
 	loopcheck_no_loop \
 	loopcheck_nondet_no_loop \
-	memo_non \
 	oota \
 	table_foreign_output \
 	test_enum \
 	unused_args

+# Tabling of nondet predicates and deep profiling are (currently)
+# incompatible.
+ifeq "$(findstring profdeep,$(GRADE))" ""
+	BROKEN_FOR_PROFDEEP_NONLOOP_PROGS = \
+		memo_non
+else
+	BROKEN_FOR_PROFDEEP_NONLOOP_PROGS =
+endif
+
 SIMPLE_LOOP_PROGS = \
 	loopcheck \
 	loopcheck_nondet \
@@ -61,7 +69,10 @@
 #	semidet_minimal.m
 #	tc_minimal_semidet.m

-ALL_SIMPLE_PROGS = $(SIMPLE_NONLOOP_PROGS) $(SIMPLE_LOOP_PROGS)
+ALL_SIMPLE_PROGS = $(SIMPLE_NONLOOP_PROGS) \
+			$(BROKEN_FOR_PROFDEEP_NONLOOP_PROGS) \
+			$(SIMPLE_LOOP_PROGS)
+
 ALL_MINIMAL_PROGS = $(MINIMAL_NONLOOP_PROGS)

 # Tabling does not yet work in .rt grades

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