X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fbin%2Finline%2FMakefile;h=60ad8b77388b532bedef351d1b8d111a7b207c15;hb=57ae1762497a5f3ea75740e2908e04adb8642cc2;hp=ac8761efb0495252df789d978f3c59a53ec1a641;hpb=d8d00d6f6694155be5be486a8239f5953efe28b7;p=helm.git

diff --git a/helm/www/lambdadelta/bin/inline/Makefile b/helm/www/lambdadelta/bin/inline/Makefile
index ac8761efb..60ad8b773 100644
--- a/helm/www/lambdadelta/bin/inline/Makefile
+++ b/helm/www/lambdadelta/bin/inline/Makefile
@@ -5,6 +5,8 @@ REQUIRES =
 include ../Makefile.common
 
 test:
-#	@$(MAKE) --no-print-directory -C ../../ www
+	@./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