From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 26 Jul 2007 08:58:11 +0000 (+0000)
Subject: makefiles updated
X-Git-Tag: 0.4.95@7852~276
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7be0c7d35523e41835edfa41404c1aa6eb28f3aa;p=helm.git

makefiles updated
---

diff --git a/matita/contribs/LAMBDA-TYPES/Base-2/makefile b/matita/contribs/LAMBDA-TYPES/Base-2/makefile
index 2ddabe56c..f20e608d8 100644
--- a/matita/contribs/LAMBDA-TYPES/Base-2/makefile
+++ b/matita/contribs/LAMBDA-TYPES/Base-2/makefile
@@ -45,7 +45,7 @@ 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)
diff --git a/matita/contribs/LAMBDA-TYPES/Makefile b/matita/contribs/LAMBDA-TYPES/Makefile
index 8faf376f1..93fba67ce 100644
--- a/matita/contribs/LAMBDA-TYPES/Makefile
+++ b/matita/contribs/LAMBDA-TYPES/Makefile
@@ -3,7 +3,7 @@ GOALS = all opt clean clean.opt
 DEVELS = Base-1 LambdaDelta-1 Base-2 Unified-Sub 
 
 $(GOALS): 
-	@$(foreach DEVEL, $(DEVELS), $(MAKE) -C $(DEVEL) $@;) 
+	@$(foreach DEVEL, $(DEVELS), $(MAKE) -k -C $(DEVEL) $@;) 
 
 .PHONY: (GOALS)