helm/matita/library/Makefile

   1 TODO=\
   2         bool.moo\
   3         compare.moo\
   4         equality.moo\
   5         logic.moo\
   6         nat.moo \
   7         Z.moo
   8
   9 DEPEND_NAME=.depend
  10
  11 all: links $(TODO)
  12
  13 clean:
  14         rm -f $(DEPEND_NAME) $(TODO)
  15         ../matitaclean all
  16
  17 # Let's prepare the environment
  18 links: .matita matita.lang matita.conf.xml
  19 .PHONY: links
  20
  21 .matita:
  22         ln -s ../.matita .
  23
  24 matita.lang:
  25         ln -s ../matita.lang .
  26
  27 matita.conf.xml:
  28         ln -s ../matita.conf.xml .
  29 #done
  30
  31 depend: $(DEPEND_NAME)
  32
  33 %.moo:%.ma
  34         [ ! -e $@ ] || ../matitaclean $<
  35         ../matitac $< || ../matitaclean $<
  36
  37 $(DEPEND_NAME): $(TODO:%.moo=%.ma)
  38         ../matitadep $^ > $@
  39
  40 include $(DEPEND_NAME)