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 icons
19 all: $(LINKS) $(SRC:%.ma=%.moo)
22 $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
25 $(H)make MATITAC="$(VERBOSEMATITAC)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
28 $(H)make MATITAC="$(VERBOSEMATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
31 $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%)
34 $(H)rm -f $(SRC:%.ma=%.moo)
38 $(H)rm -f $(SRC:%.ma=%.moo)
47 $(H)[ ! -e $@ ] || $(MATITACLEAN) $<
48 $(H)$(MATITAC) $< || $(MATITACLEAN) $<
50 $(DEPEND_NAME): $(SRC) $(LINKS)
51 $(H)$(MATITADEP) $(SRC) > $@
53 # Let's prepare the environment
55 $(H)ln -fs ../.matita .
58 $(H)ln -fs ../matita.lang .
61 $(H)ln -fs ../matita.conf.xml .
67 include $(DEPEND_NAME)