- matex: support for alpha-conversion completed

[helm.git] / matita / components / binaries / matex / Makefile

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index 342ba027d372949133d921854d3513db1deda788..9212a066206e3175562201bafd832bd0b1ca7012 100644 (file)
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -6,19 +6,20 @@ REQUIRES = helm-ng_library
 include ../Makefile.common
 
 PROBE    = ../probe/probe.native
-REGISTRY = $(RT_BASE_DIR)/matita.conf.xml
+REGISTRY = $(RT_BASE_DIR)/matita.conf.xml test/basic_1.conf.xml
 OBJS     = Make.objs
+SRCS     = Make.srcs
 
 BASEURI = cic:/matita/lambdadelta/basic_1/
 
-test: test/$(OBJS)
+test: test/$(SRCS)
 
-$(OBJS):
+test/$(OBJS): $(REGISTRY)
        @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 $<`
+test/$(SRCS): test/$(OBJS) $(REGISTRY) ./matex.native
+       @echo MaTeX: processing $<
+       $(H)./matex.native -O test -l $(SRCS) -p -a $(REGISTRY) `cat $<`
 
 .PHONY: test