[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