helm/matita/library/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:
  40         rm $(DEPEND_NAME)
  41         make $(DEPEND_NAME)
  42 .PHONY: depend
  43
  44 %.moo:%.ma $(DEPEND_NAME) $(LINKS)
  45         @[ ! -e $@ ] || $(MATITACLEAN) $<
  46         @$(MATITAC) $< || $(MATITACLEAN) $<
  47
  48 $(DEPEND_NAME): $(SRC) $(LINKS)
  49         @$(MATITADEP) $(SRC) > $@
  50
  51 # Let's prepare the environment
  52 .matita:
  53         @ln -fs ../.matita .
  54
  55 matita.lang:
  56         @ln -fs ../matita.lang .
  57
  58 matita.conf.xml:
  59         @ln -fs ../matita.conf.xml .
  60 #done
  61
  62 include $(DEPEND_NAME)