matita/components/binaries/matex/Makefile

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