5 MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
6 CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS)
7 MMAKEO=$(RT_BASEDIR)matitamake.opt $(OPTIONS)
8 CLEANO=$(RT_BASEDIR)matitaclean.opt $(OPTIONS)
10 devel:=$(shell basename `pwd`)
17 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel)
18 clean: clean_mas preall
19 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) clean $(devel)
20 cleanall: clean_mas preall
21 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEAN) all
23 all.opt opt: build_mas preall.opt
24 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
25 clean.opt: clean_mas preall.opt
26 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel)
27 cleanall.opt: clean_mas preall.opt
28 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEANO) all
31 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel)
33 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
36 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
38 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $(@:.opt=)
41 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)
44 $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) init $(devel)
46 # FG: added part ############################################################
48 MATITAC = $(RT_BASEDIR)/matitac.opt
50 MMAS = $(shell find -name "*.mma")
51 MAS = $(MMAS:%.mma=%.ma)
53 build_mas: preall.opt theory.ma
59 $(H)$(MATITAC) -dump $@ $< $(OPTIONS)