helm/matita/contribs/LAMBDA-TYPES/Makefile

   1 SRC=$(shell find . -name "*.ma" -a -type f)
   2
   3 MATITAC=../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac ../../matitaclean /dev/null
   4 MATITACOPT=../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac.opt ../../matitaclean.opt /dev/null
   5 VERBOSEMATITAC=../../matitac
   6 VERBOSEMATITACOPT=../../matitac.opt
   7
   8 MATITACLEAN=../../matitaclean
   9 MATITACLEANOPT=../../matitaclean.opt
  10
  11 MATITADEP=../../matitadep
  12 MATITADEPOPT=../../matitadep.opt
  13
  14 DEPEND_NAME=.depend
  15
  16 H=@
  17
  18 all: $(SRC:%.ma=%.mo)
  19
  20 opt:
  21         $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
  22
  23 verbose:
  24         $(H)make MATITAC="$(VERBOSEMATITAC)" MATITACLEAN="$(MATITACLEAN)" MATITADEP="$(MATITADEP)" all
  25
  26 %.opt:
  27         $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%)
  28
  29 clean:
  30         $(H)$(MATITACLEAN) $(SRC)
  31
  32 cleanall:
  33         $(H)rm -f $(SRC:%.ma=%.moo)
  34         $(MATITACLEAN) all
  35
  36 depend:
  37         rm -f $(DEPEND_NAME)
  38         make $(DEPEND_NAME)
  39 .PHONY: depend
  40
  41 %.moo:
  42         $(H)$(MATITAC) $<
  43
  44 $(DEPEND_NAME): $(SRC)
  45         $(H)$(MATITADEP) $(SRC) > $@ || rm -f $@
  46
  47 include $(DEPEND_NAME)