H=@
-RT_BASEDIR=/home/fguidi/svn/software/matita/
+RT_BASEDIR=../../../
OPTIONS=-bench
MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS)
preall.opt:
$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) init $(devel)
-
# FG: added part ############################################################
-build_mas:
- $(H)$(MAKE) preamble.mo.opt
- $(H)$(MAKE) -f Makefile
- $(H)$(MAKE) preall.opt
- $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel)
+MATITAC = $(RT_BASEDIR)/matitac.opt
+
+MMAS = $(shell find -name "*.mma")
+MAS = $(MMAS:%.mma=%.ma)
+
+build_mas: preall.opt $(MAS)
clean_mas:
- $(H)$(MAKE) -f Makefile clean
+ $(H)rm -f $(MAS)
+
+%.ma: %.mma
+ $(H)$(MATITAC) -dump $@ $< $(OPTIONS)
+
+include depend
+
+.DELETE_ON_ERROR: