matita/matita/contribs/lambda-delta/Makefile

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