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)
35 depend: $(DEPEND_NAME)
37 %.moo:%.ma $(DEPEND_NAME) $(LINKS)
38 @[ ! -e $@ ] || $(MATITACLEAN) $<
39 @$(MATITAC) $< || $(MATITACLEAN) $<
41 $(DEPEND_NAME): $(SRC) $(LINKS)
42 @$(MATITADEP) $(SRC) > $@
44 # Let's prepare the environment
49 @ln -fs ../matita.lang .
52 @ln -fs ../matita.conf.xml .
55 include $(DEPEND_NAME)