[m-rev.] diff: update tests/valid/Mmakefile
Fergus Henderson
fjh at cs.mu.OZ.AU
Tue May 15 22:45:36 AEST 2001
Estimated hours taken: 0.5
Branches: main
tests/valid/Mmakefile:
Re-enable the accurate GC and type class tests in grades jump.*
and fast.*, since those problems were fixed long ago.
Disable the unify_type_info test in those grades, since
it uses the `--no-special-preds' option, which doesn't work
in those grades.
Workspace: /home/mars/fjh/ws1/mercury
Index: tests/valid/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/valid/Mmakefile,v
retrieving revision 1.84
diff -u -d -r1.84 Mmakefile
--- tests/valid/Mmakefile 2001/03/30 06:04:27 1.84
+++ tests/valid/Mmakefile 2001/05/15 12:44:49
@@ -35,6 +35,11 @@
context_anc.m \
ite_to_disj.m
+ # This test is compiled with --no-special-preds,
+ # which doesn't work in jump.* and fast.* grades.
+NO_SPECIAL_PREDS_SOURCES=
+ unify_typeinfo_bug.m
+
# This test does not produce a `.c' file.
RLO_SOURCES= \
aditi_query.m
@@ -151,7 +156,6 @@
unbound_inst_var.m \
unbound_tvar_in_lambda.m \
undead_proc.m \
- unify_typeinfo_bug.m \
uniq_unify.m \
uniq_mode_inf_bug.m \
unreachable_code.m \
@@ -166,35 +170,40 @@
# inst_perf_bug_2.m
+# There used to be problems with compiling typeclass
+# and AGC stuff in grades jump.* and fast.*, but they should
+# be long since fixed now.
+SOURCES0 = $(AGC_SOURCES) $(TYPECLASS_SOURCES) $(OTHER_SOURCES)
+
# Base grades `jump' and `fast'
-# cannot be used with accurate GC or type classes
+# cannot be used with `--no-special-preds'
ifneq "$(findstring asm_,$(GRADE))" ""
- SOURCES0=$(AGC_SOURCES) $(TYPECLASS_SOURCES) $(OTHER_SOURCES)
+ SOURCES1=$(NO_SPECIAL_PREDS_SOURCES) $(SOURCES0)
else
ifneq "$(findstring jump,$(GRADE))" ""
- SOURCES0=$(OTHER_SOURCES)
+ SOURCES1=$(SOURCES0)
else
ifneq "$(findstring fast,$(GRADE))" ""
- SOURCES0=$(OTHER_SOURCES)
+ SOURCES1=$(SOURCES0)
else
- SOURCES0=$(AGC_SOURCES) $(TYPECLASS_SOURCES) $(OTHER_SOURCES)
+ SOURCES1=$(NO_SPECIAL_PREDS_SOURCES) $(SOURCES0)
endif
endif
endif
ifneq "$(findstring .mm,$(GRADE))" ""
- SOURCES1=$(SOURCES0)
+ SOURCES2=$(SOURCES1)
else
- SOURCES1=$(SOURCES0) $(TRAIL_SOURCES)
+ SOURCES2=$(SOURCES1) $(TRAIL_SOURCES)
endif
# Aditi is not yet implemented for the MLDS back-end
# (i.e. grades hl*).
ifneq "$(findstring hl,$(GRADE))" ""
- SOURCES=$(SOURCES1)
+ SOURCES=$(SOURCES2)
else
- SOURCES=$(SOURCES1) $(ADITI_SOURCES)
+ SOURCES=$(SOURCES2) $(ADITI_SOURCES)
endif
ALL_SOURCES = $(SOURCES) $(RLO_SOURCES)
--
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-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
--------------------------------------------------------------------------
More information about the reviews
mailing list