DIR=$(shell basename $$PWD)

MMAS = $(shell find -name "*.mma")
MAS = $(MMAS:%.mma=%.ma)

%.ma: %.mma
	../../matitac.opt $< 2> /dev/null
	../../matitac.opt -dump $@ $< 2> /dev/null
	$(MAKE) depend.opt

$(DIR) all: $(MAS)
	../../matitac
$(DIR).opt opt all.opt: $(MAS)
	../../matitac.opt
clean:
	../../matitaclean
	rm -f $(MAS)
	$(MAKE) depend
clean.opt:
	../../matitaclean.opt
	rm -f $(MAS)
	$(MAKE) depend.opt
depend:
	../../matitadep
	cat Base-2/depends_mma >> depends
depend.opt:
	../../matitadep.opt
	cat Base-2/depends_mma >> depends

include Base-2/.depend