helm/matita/Makefile.tests

   1 TODO=\
   2         tests/apply.moo\
   3         tests/auto.moo\
   4         tests/baseuri.moo\
   5         tests/coercions.moo\
   6         tests/comments.moo\
   7         tests/fguidi.moo\
   8         tests/first.moo\
   9         tests/fix_betareduction.moo\
  10         tests/inversion.moo\
  11         tests/letrec.moo\
  12         tests/match.moo\
  13         tests/match_inference.moo\
  14         tests/mysql_escaping.moo\
  15         tests/record.moo\
  16         tests/replace.moo\
  17         tests/rewrite.moo\
  18         tests/second.moo\
  19         tests/simpl.moo\
  20         tests/test2.moo\
  21         tests/test3.moo\
  22         tests/test4.moo\
  23         tests/third.moo
  24
  25 DEPEND_NAME=.depend.moo
  26
  27 all: $(TODO)
  28
  29 clean:
  30         rm -f $(DEPEND_NAME) $(TODO)
  31         ./matitaclean all
  32
  33 %.moo:%.ma
  34         [ ! -e $@ ] || ./matitaclean $<
  35         ./matitac $< || ./matitaclean $<
  36
  37 $(DEPEND_NAME): $(TODO:%.moo=%.ma)
  38         ./matitadep $^ > $@
  39
  40 include $(DEPEND_NAME)