3 MATITAC=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null
4 MATITACOPT=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null
5 VERBOSEMATITAC=../matitac
6 VERBOSEMATITACOPT=../matitac.opt
8 MATITACLEAN=../matitaclean
9 MATITACLEANOPT=../matitaclean.opt
11 MATITADEP=../matitadep
12 MATITADEPOPT=../matitadep.opt
15 LINKS=.matita matita.lang matita.conf.xml
17 all: $(LINKS) $(SRC:%.ma=%.moo)
20 @make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
23 @make MATITAC="$(VERBOSEMATITAC)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
26 @make MATITAC="$(VERBOSEMATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
29 @make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%)
32 @rm -f $(SRC:%.ma=%.moo)
33 @$(MATITACLEAN) $(SRC)
36 @rm -f $(SRC:%.ma=%.moo)
39 depend: $(DEPEND_NAME)
43 @[ ! -e $@ ] || $(MATITACLEAN) $<
44 @$(MATITAC) $< || $(MATITACLEAN) $<
46 $(DEPEND_NAME): $(SRC) $(LINKS)
47 @$(MATITADEP) $(SRC) > $@
49 # Let's prepare the environment
54 @ln -fs ../matita.lang .
57 @ln -fs ../matita.conf.xml .
60 include $(DEPEND_NAME)