4 REQUIRES = helm-ng_library
6 include ../Makefile.common
8 PROBE = ../probe/probe.native
9 REGISTRY = $(RT_BASE_DIR)/matita.conf.xml \
10 test/legacy_1.conf.xml test/ground_1.conf.xml test/basic_1.conf.xml
14 DEVEL = ../../../matita/contribs/lambdadelta/basic_1/
18 test/$(OBJS): $(REGISTRY)
20 $(H)$(PROBE) $(REGISTRY) -g $(DEVEL) -os > $@
22 test/$(SRCS): test/$(OBJS) $(REGISTRY) ./matex.native
23 @echo MaTeX: processing $<
24 $(H)./matex.native -O test -l $(SRCS) -p -g -a $(REGISTRY) `cat $<`