4 REQUIRES = helm-ng_library
6 include ../Makefile.common
8 REGISTRY = $(RT_BASE_DIR)/matita.conf.xml
10 OBJS = cic:/matita/lambdadelta/basic_1/pr0/pr0/pr0_confluence.con\
11 cic:/matita/lambdadelta/basic_1/pr0/defs/pr0_ind.con\
12 cic:/matita/lambdadelta/basic_1/pr0/defs/pr0.ind
15 @echo MaTeX: $(OBJS:cic:/matita/lambdadelta/basic_1/pr0/%=%)
16 $(H)./matex.native -O test -t -p $(REGISTRY) $(OBJS)