X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FMakefile;h=b437afb5b00925671ed2fc3420343e49d847b067;hb=9faea203fd99a44d75ea8bcd15b59942a4226922;hp=c9a7b58ed7155b1a640dde8451431c23e79325ee;hpb=348f1670b30f52db99187b2e92b45348e18ebbbe;p=helm.git

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index c9a7b58ed..b437afb5b 100644
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -5,6 +5,7 @@ REQUIRES = helm-ng_library
 
 include ../Makefile.common
 
+MATEX    = ./$(EXEC).native
 PROBE    = ../probe/probe.native
 REGISTRY = $(RT_BASE_DIR)/matita.conf.xml \
            test/legacy_1.conf.xml test/ground_1.conf.xml test/basic_1.conf.xml
@@ -15,12 +16,12 @@ DEVEL = ../../../matita/contribs/lambdadelta/basic_1/
 
 test: test/$(SRCS)
 
-test/$(OBJS): $(REGISTRY)
+test/$(OBJS): $(REGISTRY) Makefile
 	@echo probe: $(DEVEL)
 	$(H)$(PROBE) $(REGISTRY) -g $(DEVEL) -os > $@
 
-test/$(SRCS): test/$(OBJS) $(REGISTRY) ./matex.native
+test/$(SRCS): test/$(OBJS) $(REGISTRY) $(MATEX) Makefile
 	@echo MaTeX: processing $<
-	$(H)./matex.native -O test -l $(SRCS) -p -g -a $(REGISTRY) `cat $<`
+	$(H)$(MATEX) -O test -l $(SRCS) -a -g -p $(REGISTRY) `cat $<`
 
 .PHONY: test