]> matita.cs.unibo.it Git - helm.git/blob - helm/software/helena/examples/exp_math/Makefile
9e7ed164e2f3849b8a0d22a5e745529fcddd3a2b
[helm.git] / helm / software / helena / examples / exp_math / Makefile
1 HOME = ../..
2 ROOT = exp_math
3 HELENAOPTS = -r $(ROOT) -u 
4
5 H = @
6
7 HELENA = $(HOME)/helena.opt
8
9 HLNS = $(shell cat Make)
10
11 all: $(HLNS)
12         @echo "  HELENA -u"
13         $(H)$(HELENA) $(HELENAOPTS) $^
14
15 progress: $(HLNS)
16         @echo "  HELENA -u -j"
17         $(H)$(HELENA) $(HELENAOPTS) -j $^
18
19 xml: $(HLNS)
20         @echo "  HELENA -u -x"
21         $(H)$(HELENA) $(HELENAOPTS) -x $(HOME) -s 2 $^
22
23 xml-crg: $(HLNS)
24         @echo "  HELENA -u -x"
25         $(H)$(HELENA) $(HELENAOPTS) -x $(HOME) -s 1 $^