From 07e6ac32902b6b96c74bc82dfac5f08e61c7ccbe Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 26 Jul 2007 08:58:11 +0000 Subject: [PATCH] makefiles updated --- helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile | 2 +- helm/software/matita/contribs/LAMBDA-TYPES/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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) -- 2.39.2