BIN = ../../../
-DIR=$(shell basename $$PWD)
+DIR = $(shell basename $$PWD)
-H=@
+H = @
-MATITAOPTIONS=
+MATITAOPTIONS =
TRANSCRIPT = $(BIN)../components/binaries/transcript/transcript.opt
$(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) -g -C $(BIN) $(DEVEL)