5 DIR=$(shell basename $$PWD)
7 MMAS = $(shell find Base-2 -name "*.mma")
8 MAS = $(MMAS:%.mma=%.ma)
11 $(H)../../matitac.opt $(MATITAOPTIONS) $< 2> /dev/null
12 $(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null
13 $(H)$(MAKE) --no-print-directory depend.opt
16 $(H)../../matitac $(MATITAOPTIONS) 2> /dev/null
17 $(DIR).opt opt all.opt: $(MAS)
18 $(H)../../matitac.opt $(MATITAOPTIONS) 2> /dev/null
22 $(H)$(MAKE) --no-print-directory depend
24 $(H)../../matitaclean.opt
26 $(H)$(MAKE) --no-print-directory depend.opt
29 $(H)cat Base-2/depends >> depends
31 $(H)../../matitadep.opt
32 $(H)cat Base-2/depends >> depends
34 include Base-2/.depend