X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FMakefile;h=e177cc077967d375ca860953520d491300444665;hb=d03e9fa5ea709a937148a67fc115d894e5990063;hp=4e1e3ca66d0c9eeb3ceb58c04a66b4f630293d06;hpb=ea6b4322051d3eb1794bfca3928f6e1773f971ba;p=helm.git

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index 4e1e3ca66..e177cc077 100644
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -5,13 +5,21 @@ REQUIRES = helm-ng_library
 
 include ../Makefile.common
 
-REGISTRY = $(RT_BASE_DIR)/matita.conf.xml
+PROBE    = ../probe/probe.native
+REGISTRY = $(RT_BASE_DIR)/matita.conf.xml test/basic_1.conf.xml
+OBJS     = Make.objs
+SRCS     = Make.srcs
 
-OBJS = cic:/matita/lambdadelta/basic_1/pr0/pr0/pr0_confluence.con\
-       cic:/matita/lambdadelta/basic_1/pr0/defs/pr0_ind.con
+DEVEL = ../../../matita/contribs/lambdadelta/basic_1/
 
-test:
-	@echo MaTeX: $(OBJS:cic:/matita/lambdadelta/basic_1/pr0/%.con=%)
-	$(H)./matex.native -O test -t -p $(REGISTRY) $(OBJS)
+test: test/$(SRCS)
+
+test/$(OBJS): $(REGISTRY)
+	@echo probe: $(DEVEL)
+	$(H)$(PROBE) $(REGISTRY) -g $(DEVEL) -os > $@
+
+test/$(SRCS): test/$(OBJS) $(REGISTRY) ./matex.native
+	@echo MaTeX: processing $<
+	$(H)./matex.native -O test -l $(SRCS) -p -g -a $(REGISTRY) `cat $<`
 
 .PHONY: test