BIN = ../../../
-DIR=$(shell basename $$PWD)
+DIR = $(shell basename $$PWD)
-H=@
-
-MATITAOPTIONS=
+H = @
TRANSCRIPT = $(BIN)../components/binaries/transcript/transcript.opt
$(DIR).opt opt all.opt:
$(H)$(RM) $(LOG)
$(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
+
+%.ma:
+ $(H)$(RM) $(LOG)
+ $(H)$(BIN)matitac $(MATITAOPTIONS) $*.mma 2>> $(LOG)
+%.mo:
+ $(H)$(RM) $(LOG)
+ $(H)$(BIN)matitac $(MATITAOPTIONS) $*.ma 2>> $(LOG)
+%.ma.opt:
+ $(H)$(RM) $(LOG)
+ $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.mma 2>> $(LOG)
+%.mo.opt:
+ $(H)$(RM) $(LOG)
+ $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.ma 2>> $(LOG)
+
clean:
$(H)$(BIN)matitaclean $(MATITAOPTIONS)
$(H)$(RM) $(MAS)
$(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
$(H)$(RM) $(MAS)
depend:
- $$(H)(BIN)matitadep $(MATITAOPTIONS)
+ $(H)(BIN)matitadep $(MATITAOPTIONS)
depend.opt:
$(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
endif
mma: $(DEVEL).conf.xml clean.ma
- $(H)$(TRANSCRIPT) -C $(BIN) $(DEVEL)
+ $(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $(DEVEL)
+
+%.ts: $(DEVEL).conf.xml
+ $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $*.ma
+ $(H)$(RM) $*.ma
+ $(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $* $(DEVEL)
+