- @echo matitadep.opt
- $(H)../../matitadep.opt $(foreach FILE,$(XMAS),-exclude $(FILE))
- $(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