[m-dev.] trivial diff: disable nondet C tests in hl*.tr* grades

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Dec 22 11:02:55 AEDT 2000


Estimated hours taken: 0.25

tests/hard_coded/Mmakefile:
	Disable the nondet_c and inline_nondet_pragma_c test cases
	in hl*.tr* grades, since the MLDS back-end doesn't support
	nondet pragma C in trailing grades.

Workspace: /home/pgrad/fjh/ws/hg
Index: tests/hard_coded/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.107
diff -u -d -r1.107 Mmakefile
--- tests/hard_coded/Mmakefile	2000/12/21 06:24:20	1.107
+++ tests/hard_coded/Mmakefile	2000/12/21 23:56:17
@@ -67,7 +67,6 @@
 	ho_univ_to_type \
 	impossible_unify \
 	impure_prune \
-	inline_nondet_pragma_c \
 	integer_test \
 	merge_and_remove_dups \
 	minint_bug \
@@ -76,7 +75,6 @@
 	name_mangling \
 	no_fully_strict \
 	no_inline \
-	nondet_c \
 	nondet_ctrl_vn \
 	nullary_ho_func \
 	pragma_c_code \
@@ -141,7 +139,16 @@
 BACKEND_PROGS =
 endif
 
-PROGS = $(ORDINARY_PROGS) $(BACKEND_PROGS)
+# The MLDS back-end doesn't support nondet C in trailing grades
+ifeq "$(findstring hl,$(GRADE))$(findstring .tr,$(GRADE))" "hl.tr"
+NONDET_C_PROGS =
+else
+NONDET_C_PROGS = \
+	inline_nondet_pragma_c \
+	nondet_c
+endif
+
+PROGS = $(ORDINARY_PROGS) $(BACKEND_PROGS) $(NONDET_C_PROGS)
 
 # --split-c-files does not work in the hl* grades (e.g. hlc.gc),
 # because it hasn't yet been implemented yet.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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
--------------------------------------------------------------------------



More information about the developers mailing list