matita/matita/lib/lambda/Makefile

   1 H    := @
   2
   3 TAGS := all xoa deps top
   4
   5 all:
   6         $(H)../../matitac.opt .
   7
   8 # xoa ########################################################################
   9
  10 XOA_DIR      := ../../../components/binaries/xoa
  11 XOA          := xoa.native
  12 XOA_CONF     := xoa.conf.xml
  13 XOA_OPTS     := ../../matita.conf.xml $(XOA_CONF)
  14
  15 xoa: $(XOA_CONF)
  16         @echo "  EXEC $(XOA) $(XOA_CONF)"
  17         $(H)$(XOA_DIR)/$(XOA) -s $(XOA_OPTS)
  18
  19 # dep input ##################################################################
  20
  21 DEP_INPUT    := .depend
  22 DEP_DIR      := ../../../components/binaries/matitadep
  23 DEP          := matitadep.native
  24 DEP_OPTS     :=
  25
  26 $(DEP_INPUT): MAS = $(shell find $* -name "*.ma")
  27
  28 $(DEP_INPUT): LINE = $(MAS:%=%:include \"\".)
  29
  30 $(DEP_INPUT): REPL = sed -e 's/^\./lambda/'
  31
  32 $(DEP_INPUT): $(MAS) Makefile
  33         @echo "  GREP include"
  34         $(H)grep "include \"" $(MAS) | $(REPL) > $(DEP_INPUT)
  35         $(H)echo "$(LINE)" | sed -e 's/\"\. /\"\.\n/g' | $(REPL) >> $(DEP_INPUT)
  36
  37 # dep ########################################################################
  38
  39 deps: $(DEP_INPUT)
  40         @echo "  MATITADEP -c"
  41         $(H)$(DEP_DIR)/$(DEP) -c $(DEP_OPTS) $<
  42
  43 # top ########################################################################
  44
  45 top: $(DEP_INPUT)
  46         @echo "  MATITADEP -t"
  47         $(H)$(DEP_DIR)/$(DEP) -t $(DEP_OPTS) $<
  48
  49 ##############################################################################
  50
  51 .PHONY: $(TAGS)
  52
  53 .SUFFIXES: