X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fexamples%2Fexp_math%2FMakefile;h=c19636b789ea22abf1183f836143ed88686f0e02;hb=HEAD;hp=9e7ed164e2f3849b8a0d22a5e745529fcddd3a2b;hpb=95872555aaa040a22ad2d93cb1278f79e20da70c;p=helm.git

diff --git a/helm/software/helena/examples/exp_math/Makefile b/helm/software/helena/examples/exp_math/Makefile
index 9e7ed164e..c19636b78 100644
--- a/helm/software/helena/examples/exp_math/Makefile
+++ b/helm/software/helena/examples/exp_math/Makefile
@@ -1,6 +1,6 @@
 HOME = ../..
 ROOT = exp_math
-HELENAOPTS = -r $(ROOT) -u 
+HELENAOPTS = -r $(ROOT) 
 
 H = @
 
@@ -9,17 +9,9 @@ HELENA = $(HOME)/helena.opt
 HLNS = $(shell cat Make)
 
 all: $(HLNS)
-	@echo "  HELENA -u"
-	$(H)$(HELENA) $(HELENAOPTS) $^
-
-progress: $(HLNS)
-	@echo "  HELENA -u -j"
-	$(H)$(HELENA) $(HELENAOPTS) -j $^
+	@echo "  HELENA"
+	$(H)$(HELENA) $(HELENAOPTS) $(O) $^
 
 xml: $(HLNS)
-	@echo "  HELENA -u -x"
-	$(H)$(HELENA) $(HELENAOPTS) -x $(HOME) -s 2 $^
-
-xml-crg: $(HLNS)
-	@echo "  HELENA -u -x"
-	$(H)$(HELENA) $(HELENAOPTS) -x $(HOME) -s 1 $^
+	@echo "  HELENA -s 1 -x"
+	$(H)$(HELENA) -O $(HOME) $(HELENAOPTS) -s 1 -x $(O) $^