3 DIR = $(shell basename $$PWD)
9 TRANSCRIPT = $(BIN)../components/binaries/transcript/transcript.opt
13 MMAS = $(shell find -name "*.mma")
14 MAS = $(MMAS:%.mma=%.ma)
18 $(H)$(BIN)matitac $(MATITAOPTIONS) 2>> $(LOG)
19 $(DIR).opt opt all.opt:
21 $(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
23 $(H)$(BIN)matitaclean $(MATITAOPTIONS)
26 $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
29 $(H)(BIN)matitadep $(MATITAOPTIONS)
31 $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
33 ifneq ($(strip $(MAS)),)
35 $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $(MAS)
39 $(H)echo no files to clean
42 mma: $(DEVEL).conf.xml clean.ma
43 $(H)$(TRANSCRIPT) -g -C $(BIN) $(DEVEL)