milestone update in ground_2 and basic_2A

[helm.git] / matita / matita / contribs / lambdadelta / bin / inline / Makefile

diff --git a/matita/matita/contribs/lambdadelta/bin/inline/Makefile b/matita/matita/contribs/lambdadelta/bin/inline/Makefile
index 60ad8b77388b532bedef351d1b8d111a7b207c15..8eeab8fc8b71bf3657bb729c51f234d20c5f6de7 100644 (file)
--- 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