]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/lambdadelta/bin/recomm/Makefile
made executable again
[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / Makefile
1 EXECS = mrc recomm
2
3 REQUIRES =
4
5 include ../Makefile.common
6
7 clean::
8         @$(RM) recommGc*.ml*
9
10 test:
11         @./recomm.native -r $(O) -C srcs . | sort | uniq > log.txt
12
13 MRCS = $(wildcard *.mrc)
14
15 mrc: $(MRCS:%.mrc=recommGc%.ml)
16         @./mrc.native .
17
18 subst: subst.txt
19         @sed s/://g <subst_cn.txt >subst.txt  
20         @cd ../token; . ./subst.sh
21
22 recommGc%.ml recommGc%.mli: %.mrc mrc*.ml mrc*.mli
23         @./mrc.native $<
24
25 .PHONY: test mrc subst