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

MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /dev/null
VERBOSEMATITAC=../matitac
VERBOSEMATITACOPT=../matitac.opt

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

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

opt:
	make MATITAC=$(MATITACOPT) all

verbose.opt:
	make MATITAC=$(VERBOSEMATITAC) all

verboseopt:
	make MATITAC=$(VERBOSEMATITACOPT) all

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)