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

makefiles updated
---

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
index 2ddabe56c..f20e608d8 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
+++ b/helm/software/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/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
index 8faf376f1..93fba67ce 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
+++ b/helm/software/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)