update in ground_2

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

diff --git a/helm/www/lambdadelta/bin/inline/Makefile b/helm/www/lambdadelta/bin/inline/Makefile
index ac8761efb0495252df789d978f3c59a53ec1a641..60ad8b77388b532bedef351d1b8d111a7b207c15 100644 (file)
--- 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