update in lambdadelta

[helm.git] / helm / www / lambdadelta / bin / inline / Makefile

diff --git a/helm/www/lambdadelta/bin/inline/Makefile b/helm/www/lambdadelta/bin/inline/Makefile
deleted file mode 100644 (file)
index 60ad8b7..0000000
--- a/helm/www/lambdadelta/bin/inline/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-EXECS = inline
-
-REQUIRES =
-
-include ../Makefile.common
-
-test:
-       @./inline.native -p ../lambdadelta/*/deps.txt > deps.txt
-       @../matitadep/matitadep.native -c ../lambdadelta/.depend deps.txt > redundant.txt
-       @./inline.native -i -b ../lambdadelta redundant.txt ../lambdadelta/*/deps.txt
-
-.PHONY: test