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