update in lambdadelta

[helm.git] / matita / matita / contribs / lambdadelta / bin / inline / Makefile

diff --git a/matita/matita/contribs/lambdadelta/bin/inline/Makefile b/matita/matita/contribs/lambdadelta/bin/inline/Makefile
new file mode 100644 (file)
index 0000000..60ad8b7
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/inline/Makefile
@@ -0,0 +1,12 @@
+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