X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FMakefile;h=342ba027d372949133d921854d3513db1deda788;hb=e28ddccd4096c80b2090ca78af00e2590f629b71;hp=42e1360e2b598846187f6641c4c3ea1e1761ee86;hpb=2ffd7e47f1872878f6af4084074655da5cf3b23e;p=helm.git

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index 42e1360e2..342ba027d 100644
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -5,12 +5,20 @@ REQUIRES = helm-ng_library
 
 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