matita/components/binaries/matex/Makefile

   1 EXEC = matex
   2
   3 MATEX    = ./$(EXEC).native
   4 PROBE    = ../probe/probe.native
   5 REGISTRY = $(RT_BASE_DIR)/matita.conf.xml \
   6            test/legacy_1.conf.xml test/ground_1.conf.xml test/basic_1.conf.xml
   7 OBJS     = Make.objs
   8 SRCS     = Make.srcs
   9
  10 DEVEL = ../../../matita/contribs/lambdadelta/basic_1/
  11
  12 test: test/$(SRCS)
  13
  14 test/$(OBJS): $(REGISTRY) Makefile
  15         @echo probe: $(DEVEL)
  16         $(H)$(PROBE) $(REGISTRY) -g $(DEVEL) -os > $@
  17
  18 test/$(SRCS): test/$(OBJS) $(REGISTRY) $(MATEX) Makefile
  19         @echo MaTeX: processing $<
  20         $(H)$(MATEX) -O test -l $(SRCS) -a -g -p $(REGISTRY) `cat $<`
  21
  22 .PHONY: test