[m-dev.] trivial diff: disable Aditi tests in MLDS grades

Fergus Henderson fjh at cs.mu.OZ.AU
Sun May 21 21:50:23 AEST 2000


Estimated hours taken: 0.25

tests/valid/Mmakefile:
	For MLDS grades (hl*), don't run the Aditi tests,
	since Aditi is not yet implement for the MLDS back-end.

Workspace: /home/pgrad/fjh/ws/hg
Index: tests/valid/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/valid/Mmakefile,v
retrieving revision 1.63
diff -u -d -r1.63 Mmakefile
--- tests/valid/Mmakefile	2000/05/09 02:44:41	1.63
+++ tests/valid/Mmakefile	2000/05/21 11:46:43
@@ -26,15 +26,18 @@
 	instance_superclass.m \
 	instance_unconstrained_tvar.m
 
-OTHER_SOURCES= \
+ADITI_SOURCES= \
 	aditi_update.m \
 	base_relation.m \
 	base_relation2.m \
+	context_anc.m \
+	ite_to_disj.m
+
+OTHER_SOURCES= \
 	common_struct_bug.m \
 	compl_unify_bug.m \
 	complicated_unify.m \
 	constructor_arg_names.m \
-	context_anc.m \
 	dcg_test.m \
 	deforest_loop.m \
 	deforest_rerun_det.m \
@@ -76,7 +79,6 @@
 	intermod_typeclass.m \
 	intermod_user_equality.m \
 	intermod_user_equality_nested.m \
-	ite_to_disj.m \
 	lambda_inference.m\
 	lambda_instmap_bug.m \
 	lambda_output.m \
@@ -163,12 +165,20 @@
 endif
 
 ifneq "$(findstring .mm,$(GRADE))" ""
-    SOURCES=$(SOURCES0)
+    SOURCES1=$(SOURCES0)
 else
-    SOURCES=$(SOURCES0) $(TRAIL_SOURCES)
+    SOURCES1=$(SOURCES0) $(TRAIL_SOURCES)
 endif
 
-DEPS =	$(SOURCES:%.m=%.depend) aditi_update.depend
+# Aditi is not yet implemented for the MLDS back-end
+# (i.e. grades hl*).
+ifneq "$(findstring hl,$(GRADE))" ""
+    SOURCES=$(SOURCES1)
+else
+    SOURCES=$(SOURCES1) $(ADITI_SOURCES)
+endif
+
+DEPS =	$(SOURCES:%.m=%.depend)
 OBJS =	$(SOURCES:%.m=$(os_subdir)%.o)
 PROGS =	$(SOURCES:%.m=%)
 

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