TESTS = \
	directoryTest \
	fileTest \
	timeTest \
	view \
	parameterizedView \
	mapToParameterTheory \
	badView \
	dekker \
	commands \
	debug \
	renaming \
	dataStructures \
	parameterization \
	unification \
	unification2 \
	unification3 \
	attributes \
	diophantine \
	variantUnification \
	filteredVariantUnification \
	variantNarrowing \
	meseguerFiniteVariant \
	variantMatching \
	CU_Unification \
	assocUnification \
	AU_Unification \
	AU_IrredUnification \
	AU_and_A_UnificationEdgeCases \
	sreduce \
	smtTest \
	narrow \
	narrow2 \
	continue \
	parse \
	bubble \
	rot13 \
	pconst \
	pconst2 \
	pconst3 \
	pconst4 \
	parameterizedConstant \
	pconst5 \
	initialEqualityPredicate

MAUDE_FILES = \
	directoryTest.maude \
	fileTest.maude \
	timeTest.maude \
	view.maude \
	parameterizedView.maude \
	mapToParameterTheory.maude \
	badView.maude \
	dekker.maude \
	commands.maude \
	debug.maude \
	renaming.maude \
	dataStructures.maude \
	parameterization.maude \
	unification.maude \
	unification2.maude \
	unification3.maude \
	attributes.maude \
	diophantine.maude \
	variantUnification.maude \
	filteredVariantUnification.maude \
	variantNarrowing.maude \
	meseguerFiniteVariant.maude \
	variantMatching.maude \
	CU_Unification.maude \
	assocUnification.maude \
	AU_Unification.maude \
	AU_IrredUnification.maude \
	AU_and_A_UnificationEdgeCases.maude \
	sreduce.maude \
	smtTest.maude \
	narrow.maude \
	narrow2.maude \
	continue.maude \
	parse.maude \
	bubble.maude \
	rot13.maude \
	pconst.maude \
	pconst2.maude \
	pconst3.maude \
	pconst4.maude \
	parameterizedConstant.maude \
	pconst5.maude \
	initialEqualityPredicate.maude

RESULT_FILES = \
	directoryTest.expected \
	fileTest.expected \
	timeTest.expected \
	view.expected \
	parameterizedView.expected \
	mapToParameterTheory.expected \
	badView.expected \
	dekker.expected \
	commands.expected \
	debug.expected \
	renaming.expected \
	dataStructures.expected \
	parameterization.expected \
	unification.expected \
	unification2.expected \
	unification3.expected \
	attributes.expected \
	diophantine.expected \
	variantUnification.expected \
	filteredVariantUnification.expected \
	variantNarrowing.expected \
	meseguerFiniteVariant.expected \
	variantMatching.expected \
	CU_Unification.expected \
	assocUnification.expected \
	AU_Unification.expected \
	AU_IrredUnification.expected \
	AU_and_A_UnificationEdgeCases.expected \
	sreduce.expected \
	smtTest.expected \
	narrow.expected \
	narrow2.expected \
	continue.expected \
	parse.expected \
	bubble.expected \
	rot13.expected \
	pconst.expected \
	pconst2.expected \
	pconst3.expected \
	pconst4.expected \
	parameterizedConstant.expected \
	pconst5.expected \
	initialEqualityPredicate.expected

EXTRA_DIST = $(TESTS) $(MAUDE_FILES) $(RESULT_FILES)
