4 REQUIRES = helm-ng_library
6 include ../Makefile.common
8 PROBE = ../probe/probe.native
9 REGISTRY = $(RT_BASE_DIR)/matita.conf.xml
12 BASEURI = cic:/matita/lambdadelta/basic_1/
17 @echo probe: $(BASEURI)
18 $(H)$(PROBE) $(REGISTRY) -g $(BASEURI) -os > $@
20 test/$(OBJS): $(OBJS) ./matex.native
21 @echo MaTeX: processing $(OBJS)
22 $(H)./matex.native -O test -l $(OBJS) -t -p $(REGISTRY) `cat $<`