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

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