DIR=$(shell basename $$PWD)

$(DIR) all:
	../../../matitac
$(DIR).opt opt all.opt:
	../../../matitac.opt
clean:
	../../../matitaclean
clean.opt:
	../../../matitaclean.opt