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 OBJS     = Make.objs
  11
  12 BASEURI = cic:/matita/lambdadelta/basic_1/
  13
  14 test: test/$(OBJS)
  15
  16 $(OBJS):
  17         @echo probe: $(BASEURI)
  18         $(H)$(PROBE) $(REGISTRY) -g $(BASEURI) -os > $@
  19
  20 test/$(OBJS): $(OBJS) ./matex.native
  21         @echo MaTeX: processing $(OBJS)
  22         $(H)./matex.native -O test -l $(OBJS) -t -p $(REGISTRY) `cat $<`
  23
  24 .PHONY: test