HOME = ../..
ROOT = exp_math
HELENAOPTS = -r $(ROOT) -u 

H = @

HELENA = $(HOME)/helena.opt

HLNS = $(shell cat Make)

all: $(HLNS)
	@echo "  HELENA -u"
	$(H)$(HELENA) $(HELENAOPTS) $^

progress: $(HLNS)
	@echo "  HELENA -u -j"
	$(H)$(HELENA) $(HELENAOPTS) -j $^

xml: $(HLNS)
	@echo "  HELENA -u -x"
	$(H)$(HELENA) $(HELENAOPTS) -x $(HOME) -s 2 $^

xml-crg: $(HLNS)
	@echo "  HELENA -u -x"
	$(H)$(HELENA) $(HELENAOPTS) -x $(HOME) -s 1 $^