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