helm/matita/library/Makefile

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