X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Finline%2FMakefile;h=8eeab8fc8b71bf3657bb729c51f234d20c5f6de7;hb=80ecd5486c6013f6c297173f41432fd1d93814ef;hp=60ad8b77388b532bedef351d1b8d111a7b207c15;hpb=d2545ffd201b1aa49887313791386add78fa8603;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/inline/Makefile b/matita/matita/contribs/lambdadelta/bin/inline/Makefile
index 60ad8b773..8eeab8fc8 100644
--- a/matita/matita/contribs/lambdadelta/bin/inline/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/inline/Makefile
@@ -5,8 +5,8 @@ REQUIRES =
 include ../Makefile.common
 
 test:
-	@./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
+	@./inline.native -p ../../*/deps.txt > deps.txt
+	@../../../../../components/binaries/matitadep/matitadep.native -c ../../.depend deps.txt > redundant.txt
+	@./inline.native -i -b ../.. redundant.txt ../../*/deps.txt
 
 .PHONY: test