matita/matita/lib/lambda/Makefile

   1 H        = @
   2 XOA_DIR  = ../../../components/binaries/xoa
   3 XOA      = xoa.native
   4 DEP_DIR  = ../../../components/binaries/matitadep
   5 DEP      = matitadep.native
   6 MAC_DIR  = ../../../components/binaries/mac
   7 MAC      = mac.native
   8
   9 XOA_CONF    = xoa.conf.xml
  10 XOA_TARGETS = background/xoa_notation.ma background/xoa.ma
  11
  12 all: xoa
  13         $(H)../../matitac.opt */*.ma
  14
  15 # xoa ########################################################################
  16
  17 xoa: $(XOA_TARGETS)
  18
  19 $(XOA_TARGETS): $(XOA_CONF)
  20         @echo "  EXEC $(XOA) $(XOA_CONF)"
  21         $(H)MATITA_RT_BASE_DIR=../.. $(XOA_DIR)/$(XOA) $(XOA_CONF)
  22
  23 # dep ########################################################################
  24
  25 deps: MAS = $(shell find $* -name "*.ma")
  26
  27 deps: $(DEP_DIR)/$(DEP)
  28         @echo "  MATITADEP"
  29         $(H)grep "include \"" $(MAS) | $<