matita/matita/contribs/lambdadelta/bin/inline/Makefile

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