]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/examples/exp_math/Makefile
refactoring ...
[helm.git] / helm / software / lambda-delta / examples / exp_math / Makefile
diff --git a/helm/software/lambda-delta/examples/exp_math/Makefile b/helm/software/lambda-delta/examples/exp_math/Makefile
deleted file mode 100644 (file)
index 9e7ed16..0000000
+++ /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 $^