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) all
  34
  35 depend: $(DEPEND_NAME)
  36
  37 %.moo:%.ma $(DEPEND_NAME) $(LINKS)
  38         @[ ! -e $@ ] || $(MATITACLEAN) $<
  39         @$(MATITAC) $< || $(MATITACLEAN) $<
  40
  41 $(DEPEND_NAME): $(SRC) $(LINKS)
  42         @$(MATITADEP) $(SRC) > $@
  43
  44 # Let's prepare the environment
  45 .matita:
  46         @ln -s ../.matita .
  47
  48 matita.lang:
  49         @ln -s ../matita.lang .
  50
  51 matita.conf.xml:
  52         @ln -s ../matita.conf.xml .
  53 #done
  54
  55 include $(DEPEND_NAME)