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 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)" all
  21
  22 verbose.opt:
  23         @make MATITAC="$(VERBOSEMATITAC)" all
  24
  25 verboseopt:
  26         @make MATITAC="$(VERBOSEMATITACOPT)" all
  27
  28 %.opt:
  29         @make MATITAC="$(MATITACOPT)" $(@:%.opt=%)
  30
  31 clean: $(LINKS)
  32         rm -f $(SRC:%.ma=%.moo)
  33         ../matitaclean all
  34
  35 depend: $(DEPEND_NAME)
  36
  37 %.moo:%.ma depend $(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)