-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) Makefile
+ @echo probe: $(DEVEL)
+ $(H)$(PROBE) $(REGISTRY) -g $(DEVEL) -os > $@
+
+test/$(SRCS): test/$(OBJS) $(REGISTRY) $(MATEX) Makefile
+ @echo MaTeX: processing $<
+ $(H)$(MATEX) -O test -l $(SRCS) -a -g -p $(REGISTRY) `cat $<`