From 5c4c038e4d0ebd3011262b9b79747033550c12c6 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 10 Oct 2006 19:51:39 +0000 Subject: [PATCH] makefiles fixups --- .../matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile | 2 +- helm/software/matita/contribs/LAMBDA-TYPES/Makefile | 10 ++++++++++ 3 files changed, 12 insertions(+), 2 deletions(-) create mode 100644 helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile index f8af22fa5..ffdb70ded 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile @@ -1,6 +1,6 @@ H=@ -RT_BASEDIR=../../../ +RT_BASEDIR=../../../../ OPTIONS=-bench MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS) CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile index f8af22fa5..ffdb70ded 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile @@ -1,6 +1,6 @@ H=@ -RT_BASEDIR=../../../ +RT_BASEDIR=../../../../ OPTIONS=-bench MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS) CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile new file mode 100644 index 000000000..6f5842f0d --- /dev/null +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile @@ -0,0 +1,10 @@ +GOALS = all opt clean clean.opt + +DEVELS = Level-1/Base Level-1/LambdaDelta Unified + +$(GOALS): + @$(foreach DEVEL, $(DEVELS), $(MAKE) -C $(DEVEL) $@;) + +.PHONY: (GOALS) + +.SUFFIXES: -- 2.39.5