TODO=\
	bool.moo\
	compare.moo\
	equality.moo\
	logic.moo\
	nat.moo \
        Z.moo

DEPEND_NAME=.depend

all: links $(TODO)

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

# Let's prepare the environment
links: .matita matita.lang matita.conf.xml
.PHONY: links

.matita:
	ln -s ../.matita .

matita.lang:
	ln -s ../matita.lang .

matita.conf.xml:
	ln -s ../matita.conf.xml .
#done

depend: $(DEPEND_NAME)

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

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

include $(DEPEND_NAME)