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=09c8bb55c25143efdfbd34a20bb2fe6b681760b6;hp=7615bb7e51922e822a09a3e1fb1bd763b4917676;hpb=797f61edb93f41eb2c5e281bc9457f6bff633063;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 7615bb7e5..f20e608d8 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
+++ b/helm/software/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) 
@@ -38,14 +38,21 @@ 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 $(MAS)
 
 clean_mas:
-	$(H)$(MAKE) -f Makefile clean
+	$(H)rm -f $(MAS)
+
+%.ma: %.mma
+	$(H)$(MATITAC) -dump $@ $< $(OPTIONS)
+
+include depend
+
+.DELETE_ON_ERROR: