[m-rev.] diff: fix test case failure
Simon Taylor
stayl at cs.mu.OZ.AU
Thu Apr 25 18:34:39 AEST 2002
Estimated hours taken: 0.1
Branches: main
tests/valid/Mmakefile:
foreign_type_spec.m contains a `pragma foreign_type(il, ...)'
declaration, so always compile it in grade `il'.
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/valid/Mmakefile,v
retrieving revision 1.97
diff -u -u -r1.97 Mmakefile
--- Mmakefile 23 Apr 2002 17:49:19 -0000 1.97
+++ Mmakefile 25 Apr 2002 07:01:17 -0000
@@ -46,6 +46,10 @@
RLO_SOURCES= \
aditi_query.m
+ # Tests for which we should only produce a `.il' file.
+IL_SOURCES = \
+ foreign_type_spec.m
+
OTHER_SOURCES= \
any_inst_merge.m \
common_struct_bug.m \
@@ -70,7 +74,6 @@
explicit_quant.m \
fail_ite.m \
followcode_det_problem.m \
- foreign_type_spec.m \
func_int_bug_main.m \
func_default_modes.m \
headvar_not_found.m \
@@ -225,9 +228,11 @@
ALL_RLO_SOURCES = $(RLO_SOURCES)
endif
-ALL_SOURCES = $(SOURCES) $(ALL_RLO_SOURCES)
+ALL_SOURCES = $(SOURCES) $(ALL_RLO_SOURCES) $(IL_SOURCES)
DEPS = $(ALL_SOURCES:%.m=%.depend)
-OBJS = $(SOURCES:%.m=$(os_subdir)%.$O) $(ALL_RLO_SOURCES:%.m=$(rlos_subdir)%.rlo)
+OBJS = $(SOURCES:%.m=$(os_subdir)%.$O) \
+ $(ALL_RLO_SOURCES:%.m=$(rlos_subdir)%.rlo) \
+ $(IL_SOURCES:%.m=$(ils_subdir)%.il)
PROGS = $(SOURCES:%.m=%)
all: objs
@@ -243,6 +248,8 @@
GRADEFLAGS-agc_unused_in = --gc accurate
GRADEFLAGS-complex_failure = --use-trail
GRADEFLAGS-semi_fail_in_non_ite = --use-trail
+GRADEFLAGS-foreign_type_spec = --grade il
+GRADEFLAGS-foreign_type_spec.foreign = --grade il
MCFLAGS-aditi_error_bug = --aditi
MCFLAGS-aditi_error_bug2 = --aditi
--------------------------------------------------------------------------
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