]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/examples/exp_math/Makefile
made executable again
[helm.git] / helm / software / helena / examples / exp_math / Makefile
index 9e7ed164e2f3849b8a0d22a5e745529fcddd3a2b..c19636b789ea22abf1183f836143ed88686f0e02 100644 (file)
@@ -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) $^