include ../Makefile.defs DIR=$(shell basename $$PWD) $(DIR) all: $(BIN)matitac $(DIR).opt opt all.opt: $(BIN)matitac.opt clean: $(BIN)matitaclean clean.opt: $(BIN)matitaclean.opt depend: $(BIN)matitadep -dot && rm depends.dot depend.opt: $(BIN)matitadep.opt -dot && rm depends.dot