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 recommGc%.ml recommGc%.mli: %.mrc mrc.ml
  19         @./mrc.native $<
  20
  21 .PHONY: test mrc