3 DIR = $(shell basename $$PWD)
7 TRANSCRIPT = $(BIN)../components/binaries/transcript/transcript.opt
11 MMAS = $(shell find -name "*.mma")
12 MAS = $(MMAS:%.mma=%.ma)
16 $(H)$(BIN)matitac $(MATITAOPTIONS) 2>> $(LOG)
17 $(DIR).opt opt all.opt:
19 $(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
23 $(H)$(BIN)matitac $(MATITAOPTIONS) $@ 2>> $(LOG)
26 $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.ma 2>> $(LOG)
29 $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.mma 2>> $(LOG)
32 $(H)$(BIN)matitaclean $(MATITAOPTIONS)
35 $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
38 $(H)(BIN)matitadep $(MATITAOPTIONS)
40 $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
42 ifneq ($(strip $(MAS)),)
44 $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $(MAS)
48 $(H)echo no files to clean
51 mma: $(DEVEL).conf.xml clean.ma
52 $(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $(DEVEL)