matitac: We do not generate the .moo and .lexicon of a dumped .mma

[helm.git] / matita / contribs / LAMBDA-TYPES / Base-2 / makefile

diff --git a/matita/contribs/LAMBDA-TYPES/Base-2/makefile b/matita/contribs/LAMBDA-TYPES/Base-2/makefile
index 7615bb7e51922e822a09a3e1fb1bd763b4917676..9749db39cbfdfce123f582efc5fe2273c4c3c495 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Base-2/makefile
+++ b/matita/contribs/LAMBDA-TYPES/Base-2/makefile
@@ -1,6 +1,6 @@
 H=@
 
-RT_BASEDIR=/home/fguidi/svn/software/matita/
+RT_BASEDIR=../../../
 OPTIONS=-bench
 MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
 CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS) 
@@ -27,6 +27,11 @@ clean.opt: clean_mas preall.opt
 cleanall.opt: clean_mas preall.opt
        $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEANO) all
 
+mas: preall
+       $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel)
+mas.opt: preall.opt
+       $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
+
 %.mo: preall
        $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
 %.mo.opt: preall.opt
@@ -38,14 +43,22 @@ preall:
 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 theory.ma
 
 clean_mas:
-       $(H)$(MAKE) -f Makefile clean
+       $(H)rm -f $(MAS)
+
+%.ma: %.mma
+       $(H)$(MATITAC) -dump $@ $< $(OPTIONS)
+       $(MAKE) preall.opt
+
+include depend
+
+.DELETE_ON_ERROR: