From 6b0d25ba11c8c989674e0d9092fd79dc56b8b1c0 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 24 Feb 2008 19:22:40 +0000 Subject: [PATCH 1/1] LAMBDA-TYPES: dependences calculation improved --- helm/software/matita/contribs/LAMBDA-TYPES/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile index 569dd292b..601da59af 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile @@ -9,10 +9,10 @@ MAS = $(MMAS:%.mma=%.ma) XMAS = Base-2/theory.ma $(DIR) all: depends - $(H)$(MAKE) --no-print-directory build + $(H)$(MAKE) H=$(H) --no-print-directory build $(DIR).opt opt all.opt: depends - $(H)$(MAKE) --no-print-directory build.opt + $(H)$(MAKE) H=$(H) --no-print-directory build.opt build: $(MAS) $(H)$echo Base-2/theory.ma `../../matitadep.opt -stdout Base-2/theory.ma` >> depends @@ -48,7 +48,7 @@ depend.opt: depends: depend.opt %.ma: %.mma - $(H)../../matitac.opt $(MATITAOPTIONS) `../../matitadep.opt -stdout $<` 2> /dev/null + ../../matitac.opt $(MATITAOPTIONS) $(word 3,$(shell grep -h $< */depends)) `../../matitadep.opt -stdout $<` 2> /dev/null $(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null $(H)echo $@ `../../matitadep.opt -stdout $@` >> depends -- 2.39.2