H = @
-MATITAOPTIONS =
-
TRANSCRIPT = $(BIN)../components/binaries/transcript/transcript.opt
-OPTIONS =
-
LOG = log.txt
MMAS = $(shell find -name "*.mma")
endif
mma: $(DEVEL).conf.xml clean.ma
- $(H)$(TRANSCRIPT) $(OPTIONS) -C $(BIN) $(DEVEL)
+ $(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $(DEVEL)