9 MATITAC=../scripts/do_tests.sh ../matitac /dev/null
10 VERBOSEMATITAC=../matitac
13 LINKS=.matita matita.lang matita.conf.xml
15 all: $(LINKS) $(SRC:%.ma=%.moo)
18 make MATITAC=$(VERBOSEMATITAC) all
21 rm -f $(SRC:%.ma=%.moo)
24 depend: $(DEPEND_NAME)
26 %.moo:%.ma depend $(LINKS)
27 [ ! -e $@ ] || ../matitaclean $<
28 $(MATITAC) $< || ../matitaclean $<
30 $(DEPEND_NAME): $(SRC) $(LINKS)
31 ../matitadep $(SRC) > $@
33 # Let's prepare the environment
38 ln -s ../matita.lang .
41 ln -s ../matita.conf.xml .
44 include $(DEPEND_NAME)