]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/examples/exp_math/Makefile
- we added some syntactic sugar in the text parser
[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) $^
12
13 progress: $(HLNS)
14         @echo "  HELENA -r $(ROOT) -j"
15         $(H)$(HELENA) -r $(ROOT) -j $^
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 $^