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
  16
  17 all: $(LINKS) $(SRC:%.ma=%.moo)
  18
  19 opt:
  20         @make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  21
  22 verbose.opt:
  23         @make MATITAC="$(VERBOSEMATITAC)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  24
  25 verboseopt:
  26         @make MATITAC="$(VERBOSEMATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  27
  28 %.opt:
  29         @make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%)
  30
  31 clean: $(LINKS)
  32         @rm -f $(SRC:%.ma=%.moo)
  33         @$(MATITACLEAN) $(SRC)
  34
  35 cleanall: $(LINKS)
  36         @rm -f $(SRC:%.ma=%.moo)
  37         $(MATITACLEAN) all
  38
  39 depend: $(DEPEND_NAME)
  40 .PHONY: depend
  41
  42 %.moo:%.ma $(LINKS)
  43         @[ ! -e $@ ] || $(MATITACLEAN) $<
  44         @$(MATITAC) $< || $(MATITACLEAN) $<
  45
  46 $(DEPEND_NAME): $(SRC) $(LINKS)
  47         @$(MATITADEP) $(SRC) > $@
  48
  49 # Let's prepare the environment
  50 .matita:
  51         @ln -fs ../.matita .
  52
  53 matita.lang:
  54         @ln -fs ../matita.lang .
  55
  56 matita.conf.xml:
  57         @ln -fs ../matita.conf.xml .
  58 #done
  59
  60 include $(DEPEND_NAME)