TESTS = \
	account \
	rrobin \
	rent-a-car-store \
	parameterization \
	oo-list-2 \
	dining-philosophers5 \
	dining-philosophers6 \
	oo-list-3 \
	oo-peg-game2 \
	prngTest

MAUDE_FILES = \
	account.maude \
	rrobin.maude \
	rent-a-car-store.maude \
	parameterization.maude \
	oo-list-2.maude \
	dining-philosophers5.maude \
	dining-philosophers6.maude \
	oo-list-3.maude \
	oo-peg-game2.maude \
	prngTest.maude

RESULT_FILES = \
	account.expected \
	rrobin.expected \
	rent-a-car-store.expected \
	parameterization.expected \
	oo-list-2.expected \
	dining-philosophers5.expected \
	dining-philosophers6.expected \
	oo-list-3.expected \
	oo-peg-game2.expected \
	prngTest.expected

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