- plain anticipation for CIC proofs terms

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

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index 42e1360e2b598846187f6641c4c3ea1e1761ee86..4e1e3ca66d0c9eeb3ceb58c04a66b4f630293d06 100644 (file)
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -7,10 +7,11 @@ include ../Makefile.common
 
 REGISTRY = $(RT_BASE_DIR)/matita.conf.xml
 
-OBJ = cic:/matita/lambdadelta/basic_1/pr0/pr0/pr0_confluence.con
+OBJS = cic:/matita/lambdadelta/basic_1/pr0/pr0/pr0_confluence.con\
+       cic:/matita/lambdadelta/basic_1/pr0/defs/pr0_ind.con
 
 test:
-       @echo MaTeX $(OBJ)
-       $(H)./matex.native -O test $(REGISTRY) $(OBJ)
+       @echo MaTeX: $(OBJS:cic:/matita/lambdadelta/basic_1/pr0/%.con=%)
+       $(H)./matex.native -O test -t -p $(REGISTRY) $(OBJS)
 
 .PHONY: test