#-----------------------------------------------------------------------------#

THIS_DIR = invalid/purity

PROGS= \
	impure_func_t2 \
	impure_func_t3 \
	impure_func_t4 \
	impure_func_t5 \
	impure_func_t5_fixed \
	impure_func_t7 \
	impure_par_conj \
	impure_pred_t1 \
	impure_pred_t1_fixed \
	impure_pred_t2 \
	purity \
	purity_nonsense \
	purity_nonsense2 \
	purity_type_error

# XXX the pragma_c_and_mercury test is not enabled, 
#     since currently we fail it in grades `il' and `java'

TESTS=$(PROGS)
SUBDIRS=
TESTS_DIR=../..
include $(TESTS_DIR)/Mmake.common

# These tests all get spurious failures with intermodule optimization,
# because the errors get detected when creating the `.opt' file rather
# than when compiling the main module.  So we disable intermodule optimization
# for these tests.
override EXTRA_MCFLAGS += \
	--no-intermodule-optimization

# Module-specific options should go in Mercury.options so they
# can be found by `mmc --make'.
include Mercury.options

%.runtest: %.err_res ;

.PRECIOUS: %.err_res

#-----------------------------------------------------------------------------#

# See ../Mmakefile explanation of this.
ifneq ($(MMAKE_USE_MMC_MAKE),yes)
%.err: %.m
	if $(MC) $(ALL_GRADEFLAGS) $(ALL_MCFLAGS) --errorcheck-only $* \
		> $*.err 2>&1; \
	then false; else true; fi
else
$(addsuffix .err,$(PROGS)):
	-$(MCM) $@
	if $(MCM) -r $@ > /dev/null 2>&1 ; then false; else true; fi
endif

clean_local:
	rm -f *.err *.err_res

#-----------------------------------------------------------------------------#
