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 ../matitaclean /dev/null
  10 VERBOSEMATITAC=../matitac
  11
  12 DEPEND_NAME=.depend
  13 LINKS=.matita matita.lang matita.conf.xml
  14
  15 all: $(LINKS) $(SRC:%.ma=%.moo)
  16
  17 verbose:
  18         make MATITAC=$(VERBOSEMATITAC) all
  19
  20 clean: $(LINKS)
  21         rm -f $(SRC:%.ma=%.moo)
  22         ../matitaclean all
  23
  24 depend: $(DEPEND_NAME)
  25
  26 %.moo:%.ma depend $(LINKS)
  27         @[ ! -e $@ ] || ../matitaclean $<
  28         @$(MATITAC) $< || ../matitaclean $<
  29
  30 $(DEPEND_NAME): $(SRC) $(LINKS)
  31         ../matitadep $(SRC) > $@
  32
  33 # Let's prepare the environment
  34 .matita:
  35         ln -s ../.matita .
  36
  37 matita.lang:
  38         ln -s ../matita.lang .
  39
  40 matita.conf.xml:
  41         ln -s ../matita.conf.xml .
  42 #done
  43
  44 include $(DEPEND_NAME)