TODO=\
	tests/apply.moo\
	tests/auto.moo\
	tests/baseuri.moo\
	tests/coercions.moo\
	tests/comments.moo\
	tests/fguidi.moo\
	tests/first.moo\
	tests/fix_betareduction.moo\
	tests/inversion.moo\
	tests/letrec.moo\
	tests/match.moo\
	tests/match_inference.moo\
	tests/mysql_escaping.moo\
	tests/record.moo\
	tests/replace.moo\
	tests/rewrite.moo\
	tests/second.moo\
	tests/simpl.moo\
	tests/test2.moo\
	tests/test3.moo\
	tests/test4.moo\
	tests/third.moo

DEPEND_NAME=.depend.moo

all: $(TODO)

clean:
	rm -f $(DEPEND_NAME) $(TODO) 
	./matitaclean all

%.moo:%.ma
	[ ! -e $@ ] || ./matitaclean $< 
	./matitac $< || ./matitaclean $<

$(DEPEND_NAME): $(TODO:%.moo=%.ma)
	./matitadep $^ > $@

include $(DEPEND_NAME)