X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FMakefile;h=eb17004b4fe96f2f5393dfa1aa8109ce84823c92;hb=ccbaf3fd118c7c6425b3572a057ccc2941b7762e;hp=fdee8f321d45717ee74cbf97f723a1689c95753a;hpb=baa54e5db0fb93c4242dd1b67a5018ca63206cf6;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
index fdee8f321..eb17004b4 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
@@ -8,14 +8,18 @@ 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)
 
 mrc: $(MRCS:%.mrc=recommGc%.ml)
 	@./mrc.native .
 
-recommGc%.ml recommGc%.mli: %.mrc mrc.ml
+subst: subst.txt
+	@sed s/://g <subst_cn.txt >subst.txt  
+	@cd ../token; . ./subst.sh
+
+recommGc%.ml recommGc%.mli: %.mrc mrc*.ml mrc*.mli
 	@./mrc.native $<
 
-.PHONY: test mrc
+.PHONY: test mrc subst