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

diff --git a/helm/software/lambda-delta/examples/exp_math/Makefile b/helm/software/lambda-delta/examples/exp_math/Makefile
deleted file mode 100644
index 9e7ed164e..000000000
--- a/helm/software/lambda-delta/examples/exp_math/Makefile
+++ /dev/null
@@ -1,25 +0,0 @@
-HOME = ../..
-ROOT = exp_math
-HELENAOPTS = -r $(ROOT) -u 
-
-H = @
-
-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 $^
-
-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 $^