]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/examples/exp_math/Makefile
- the text model now supports invocations of the entity generator (to
[helm.git] / helm / software / lambda-delta / examples / exp_math / Makefile
index 93ea222797db242158ed22dc7c4486e36381891a..9e7ed164e2f3849b8a0d22a5e745529fcddd3a2b 100644 (file)
@@ -1,23 +1,25 @@
+HOME = ../..
 ROOT = exp_math
+HELENAOPTS = -r $(ROOT) -u 
 
 H = @
 
-HELENA = ../../helena.opt
+HELENA = $(HOME)/helena.opt
 
 HLNS = $(shell cat Make)
 
 all: $(HLNS)
-       @echo "  HELENA -r $(ROOT)"
-       $(H)$(HELENA) -r $(ROOT) -u $^
+       @echo "  HELENA -u"
+       $(H)$(HELENA) $(HELENAOPTS) $^
 
 progress: $(HLNS)
-       @echo "  HELENA -r $(ROOT) -j"
-       $(H)$(HELENA) -r $(ROOT) -j -u $^
+       @echo "  HELENA -u -j"
+       $(H)$(HELENA) $(HELENAOPTS) -j $^
 
 xml: $(HLNS)
-       @echo "  HELENA -r $(ROOT) -x"
-       $(H)$(HELENA) -r $(ROOT) -x -s 2 $^
+       @echo "  HELENA -u -x"
+       $(H)$(HELENA) $(HELENAOPTS) -x $(HOME) -s 2 $^
 
 xml-crg: $(HLNS)
-       @echo "  HELENA -r $(ROOT) -x"
-       $(H)$(HELENA) -r $(ROOT) -x -s 1 $^
+       @echo "  HELENA -u -x"
+       $(H)$(HELENA) $(HELENAOPTS) -x $(HOME) -s 1 $^