X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FBase-2%2Fmakefile;h=f20e608d86dd3624994ffa6ba268db62d3c80bf3;hb=eefb7b4c9f5c4c531199c95e4bb72d8b8c88bc2e;hp=9749db39cbfdfce123f582efc5fe2273c4c3c495;hpb=d610284a6341b4a7b10d8ba59fcfb00b38d402c6;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
index 9749db39c..f20e608d8 100644
--- 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