propagating the arithmetics library, partial commit

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

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
index fdee8f321d45717ee74cbf97f723a1689c95753a..cb3deebf664f0ffe5facc56325c2703559ab37b1 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
@@ -8,7 +8,7 @@ clean::
        @$(RM) recommGc*.ml*
 
 test:
-       @./recomm.native $(O) -C ../../ground/steps . | sort | uniq > log.txt
+       @./recomm.native -r $(O) -C srcs . | sort | uniq > log.txt
 
 MRCS = $(wildcard *.mrc)