matita/matita/lib/lambda-delta/Makefile

   1 H       = @
   2 XOA_DIR = ../../../components/binaries/xoa
   3 XOA     = xoa.native
   4
   5 CONF    = xoa.conf.xml
   6 TARGETS = xoa_natation.ma  xoa_defs.ma
   7
   8 all: $(TARGETS)
   9
  10 $(TARGETS): $(CONF)
  11         @echo "  EXEC $(XOA) $(CONF)"
  12         $(H)MATITA_RT_BASE_DIR=../.. $(XOA_DIR)/$(XOA) $(CONF)