helm/matita/tests/Makefile

   1 SRC= apply.ma auto.ma baseuri.ma coercions.ma comments.ma first.ma fguidi.ma\
   2      fix_betareduction.ma fold.ma inversion.ma letrec.ma match_inference.ma\
   3      mysql_escaping.ma record.ma replace.ma rewrite.ma second.ma simpl.ma\
   4      test2.ma test3.ma test4.ma third.ma
   5
   6
   7 MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
   8 MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /dev/null
   9 VERBOSEMATITAC=../matitac
  10 VERBOSEMATITACOPT=../matitac.opt
  11
  12 MATITACLEAN=../matitaclean
  13 MATITACLEANOPT=../matitaclean.opt
  14
  15 MATITADEP=../matitadep
  16 MATITADEPOPT=../matitadep.opt
  17
  18 DEPEND_NAME=.depend
  19 LINKS=.matita matita.lang matita.conf.xml
  20
  21 all: $(LINKS) $(SRC:%.ma=%.moo)
  22
  23 opt:
  24         @make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  25
  26 verbose.opt:
  27         @make MATITAC="$(VERBOSEMATITAC)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  28
  29 verboseopt:
  30         @make MATITAC="$(VERBOSEMATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  31
  32 %.opt:
  33         @make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%)
  34
  35 clean: $(LINKS)
  36         rm -f $(SRC:%.ma=%.moo)
  37         $(MATITACLEAN) all
  38
  39 depend: $(DEPEND_NAME)
  40
  41 %.moo:%.ma $(DEPEND_NAME) $(LINKS)
  42         @[ ! -e $@ ] || $(MATITACLEAN) $<
  43         @$(MATITAC) $< || $(MATITACLEAN) $<
  44
  45 $(DEPEND_NAME): $(SRC) $(LINKS)
  46         $(MATITADEP) $(SRC) > $@
  47
  48 # Let's prepare the environment
  49 .matita:
  50         ln -s ../.matita .
  51
  52 matita.lang:
  53         ln -s ../matita.lang .
  54
  55 matita.conf.xml:
  56         ln -s ../matita.conf.xml .
  57 #done
  58
  59 include $(DEPEND_NAME)