+ ../../../matitac.opt -dump $@ $< 2>/dev/null
+ $(MAKE) depend.opt
+ ../../../matitac.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 depends_mma >> depends
+depend.opt:
+ ../../../matitadep.opt
+ cat depends_mma >> depends
+
+include .depend