X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fexamples%2Fexp_math%2FMakefile;h=9e7ed164e2f3849b8a0d22a5e745529fcddd3a2b;hb=34a5ef53f3ad2771cb45f90a2da6713bccdf3608;hp=ffc3343a00072ad458d00b17fc34b438a3b9b31d;hpb=28430d599505ac26b51e4887e5196d9b380c898a;p=helm.git

diff --git a/helm/software/lambda-delta/examples/exp_math/Makefile b/helm/software/lambda-delta/examples/exp_math/Makefile
index ffc3343a0..9e7ed164e 100644
--- a/helm/software/lambda-delta/examples/exp_math/Makefile
+++ b/helm/software/lambda-delta/examples/exp_math/Makefile
@@ -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) $^
+	@echo "  HELENA -u"
+	$(H)$(HELENA) $(HELENAOPTS) $^
 
 progress: $(HLNS)
-	@echo "  HELENA -r $(ROOT) -j"
-	$(H)$(HELENA) -r $(ROOT) -j $^
+	@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 $^