+++ /dev/null
-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 $^