helm/www/lambdadelta/bin/inline/Makefile

   1 EXECS = inline
   2
   3 REQUIRES =
   4
   5 include ../Makefile.common
   6
   7 test:
   8         @./inline.native -p ../lambdadelta/*/deps.txt > deps.txt
   9         @../matitadep/matitadep.native -c ../lambdadelta/.depend deps.txt > redundant.txt
  10         @./inline.native -i -b ../lambdadelta redundant.txt ../lambdadelta/*/deps.txt
  11
  12 .PHONY: test