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