9 MATITAC=../scripts/do_tests.sh ../matitac echo /dev/null
10 MATITACOPT=../scripts/do_tests.sh ../matitac.opt echo /dev/null
11 VERBOSEMATITAC=../matitac
12 VERBOSEMATITACOPT=../matitac.opt
14 MATITACLEAN=../matitaclean
15 MATITACLEANOPT=../matitaclean.opt
17 MATITADEP=../matitadep
18 MATITADEPOPT=../matitadep.opt
21 LINKS=.matita matita.lang matita.conf.xml
23 all: $(LINKS) $(SRC:%.ma=%.moo)
26 @make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
29 @make MATITAC="$(VERBOSEMATITAC)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
32 @make MATITAC="$(VERBOSEMATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all
35 @make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%)
38 rm -f $(SRC:%.ma=%.moo)
41 depend: $(DEPEND_NAME)
43 %.moo:%.ma $(DEPEND_NAME) $(LINKS)
44 @[ ! -e $@ ] || $(MATITACLEAN) $<
45 @$(MATITAC) $< || $(MATITACLEAN) $<
47 $(DEPEND_NAME): $(SRC) $(LINKS)
48 $(MATITADEP) $(SRC) > $@
50 # Let's prepare the environment
55 ln -s ../matita.lang .
58 ln -s ../matita.conf.xml .
61 include $(DEPEND_NAME)