include ../Makefile.common
+PROBE = ../probe/probe.native
REGISTRY = $(RT_BASE_DIR)/matita.conf.xml
+OBJS = Make.objs
-OBJ = cic:/matita/lambdadelta/basic_1/pr0/pr0/pr0_confluence.con
+BASEURI = cic:/matita/lambdadelta/basic_1/
-test:
- @echo MaTeX $(OBJ)
- $(H)./matex.native -O test $(REGISTRY) $(OBJ)
+test: test/$(OBJS)
+
+$(OBJS):
+ @echo probe: $(BASEURI)
+ $(H)$(PROBE) $(REGISTRY) -g $(BASEURI) -os > $@
+
+test/$(OBJS): $(OBJS) ./matex.native
+ @echo MaTeX: processing $(OBJS)
+ $(H)./matex.native -O test -l $(OBJS) -t -p $(REGISTRY) `cat $<`
.PHONY: test