]> matita.cs.unibo.it Git - helm.git/blob - helm/software/helena/examples/exp_math/Makefile
made executable again
[helm.git] / helm / software / helena / examples / exp_math / Makefile
1 HOME = ../..
2 ROOT = exp_math
3 HELENAOPTS = -r $(ROOT) 
4
5 H = @
6
7 HELENA = $(HOME)/helena.opt
8
9 HLNS = $(shell cat Make)
10
11 all: $(HLNS)
12         @echo "  HELENA"
13         $(H)$(HELENA) $(HELENAOPTS) $(O) $^
14
15 xml: $(HLNS)
16         @echo "  HELENA -s 1 -x"
17         $(H)$(HELENA) -O $(HOME) $(HELENAOPTS) -s 1 -x $(O) $^