- bug fix in destruct

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

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
index 9749db39cbfdfce123f582efc5fe2273c4c3c495..f20e608d86dd3624994ffa6ba268db62d3c80bf3 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
@@ -27,11 +27,6 @@ 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
@@ -50,14 +45,13 @@ MATITAC = $(RT_BASEDIR)/matitac.opt
 MMAS = $(shell find -name "*.mma")
 MAS = $(MMAS:%.mma=%.ma)
 
-build_mas: preall.opt theory.ma
+build_mas: preall.opt $(MAS)
 
 clean_mas:
        $(H)rm -f $(MAS)
 
 %.ma: %.mma
        $(H)$(MATITAC) -dump $@ $< $(OPTIONS)
-       $(MAKE) preall.opt
 
 include depend