helm/matita/tests/Makefile

   1 SRC=$(wildcard *.ma)
   2
   3 MATITAC=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null
   4 MATITACOPT=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null
   5 VERBOSEMATITAC=../matitac
   6 VERBOSEMATITACOPT=../matitac.opt
   7
   8 MATITACLEAN=../matitaclean
   9 MATITACLEANOPT=../matitaclean.opt
  10
  11 MATITADEP=../matitadep
  12 MATITADEPOPT=../matitadep.opt
  13
  14 DEPEND_NAME=.depend
  15 LINKS=.matita matita.lang matita.conf.xml icons matita.ma.templ
  16
  17 H=@
  18
  19 all: $(LINKS) $(SRC:%.ma=%.moo)
  20
  21 opt:
  22         $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  23
  24 verbose.opt:
  25         $(H)make MATITAC="$(VERBOSEMATITAC)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  26
  27 verboseopt:
  28         $(H)make MATITAC="$(VERBOSEMATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  29
  30 %.opt:
  31         $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%)
  32
  33 clean: $(LINKS)
  34         $(H)$(MATITACLEAN) $(SRC)
  35
  36 cleanall: $(LINKS)
  37         $(H)rm -f $(SRC:%.ma=%.moo)
  38         $(MATITACLEAN) all
  39
  40 depend:
  41         rm $(DEPEND_NAME)
  42         make $(DEPEND_NAME)
  43 .PHONY: depend
  44
  45 %.moo:%.ma $(LINKS)
  46         $(H)[ ! -e $@ ] || $(MATITACLEAN) $<
  47         $(H)$(MATITAC) $< || $(MATITACLEAN) $<
  48
  49 $(DEPEND_NAME): $(SRC) $(LINKS)
  50         $(H)$(MATITADEP) $(SRC) > $@
  51
  52 # Let's prepare the environment
  53 .matita:
  54         $(H)ln -fs ../.matita .
  55
  56 matita.lang:
  57         $(H)ln -fs ../matita.lang .
  58
  59 matita.conf.xml:
  60         $(H)ln -fs ../matita.conf.xml .
  61
  62 icons:
  63         $(H)ln -fs ../icons .
  64
  65 matita.ma.templ:
  66         $(H)ln -fs ../matita.ma.templ .
  67 #done
  68
  69 include $(DEPEND_NAME)