include ../Makefile.common
+MATEX = ./$(EXEC).native
PROBE = ../probe/probe.native
-REGISTRY = $(RT_BASE_DIR)/matita.conf.xml test/basic_1.conf.xml
+REGISTRY = $(RT_BASE_DIR)/matita.conf.xml \
+ test/legacy_1.conf.xml test/ground_1.conf.xml test/basic_1.conf.xml
OBJS = Make.objs
SRCS = Make.srcs
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