-depend.full:
- @echo matitadep
- $(H)../../matitadep
- $(H)cat Base-2/depends >> depends
-depend.full.opt:
- @echo matitadep.opt
- $(H)../../matitadep.opt
- $(H)cat Base-2/depends >> depends
+
+depends: depend.opt
+
+%.ma: %.mma
+ $(H)../../matitac.opt $(MATITAOPTIONS) $(word 3,$(shell grep -h $< */depends)) `../../matitadep.opt -stdout $<` 2> /dev/null
+ $(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null
+ $(H)echo $@ `../../matitadep.opt -stdout $@` >> depends