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