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 MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /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 clean: $(LINKS)
  29         rm -f $(SRC:%.ma=%.moo)
  30         ../matitaclean all
  31
  32 depend: $(DEPEND_NAME)
  33
  34 %.moo:%.ma depend $(LINKS)
  35         @[ ! -e $@ ] || ../matitaclean $<
  36         @$(MATITAC) $< || ../matitaclean $<
  37
  38 $(DEPEND_NAME): $(SRC) $(LINKS)
  39         ../matitadep $(SRC) > $@
  40
  41 # Let's prepare the environment
  42 .matita:
  43         ln -s ../.matita .
  44
  45 matita.lang:
  46         ln -s ../matita.lang .
  47
  48 matita.conf.xml:
  49         ln -s ../matita.conf.xml .
  50 #done
  51
  52 include $(DEPEND_NAME)