SRC=\
	bool.ma\
	compare.ma\
	equality.ma\
	logic.ma\
	nat.ma \
        Z.ma

DEPEND_NAME=.depend
LINKS=.matita matita.lang matita.conf.xml

all: $(LINKS) $(SRC:%.ma=%.moo)

clean: $(LINKS)
	rm -f $(SRC:%.ma=%.moo)
	../matitaclean all

depend: $(DEPEND_NAME)

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

$(DEPEND_NAME): $(SRC) $(LINKS)
	../matitadep $(SRC) > $@

# Let's prepare the environment
.matita:
	ln -s ../.matita .

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

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

include $(DEPEND_NAME)