From 3097a335e9b2d822ca7586a978b1e7c18eda0316 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 20 Mar 2008 18:26:49 +0000 Subject: [PATCH 1/1] Base-2 is not compiling properly and is excluded for now --- .../software/matita/contribs/LAMBDA-TYPES/Makefile | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile index 32da5d327..754dde621 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile @@ -4,9 +4,9 @@ MATITAOPTIONS=$(MATITAUSEROPTIONS) -onepass DIR=$(shell basename $$PWD) -MMAS = $(shell find Legacy-2 Base-2 -name "*.mma") +MMAS = $(shell find Legacy-2 -name "*.mma") # Base-2 MAS = $(MMAS:%.mma=%.ma) -XMAS = Legacy-2/theory.ma Base-2/theory.ma LambdaDelta-2/theory.ma +XMAS = Legacy-2/theory.ma # Base-2/theory.ma LambdaDelta-2/theory.ma $(DIR) all: depends $(H)$(MAKE) H=$(H) --no-print-directory build @@ -16,13 +16,13 @@ $(DIR).opt opt all.opt: depends build: $(MAS) $(H)echo Legacy-2/theory.ma `../../matitadep.opt -stdout Legacy-2/theory.ma` >> depends - $(H)echo Base-2/theory.ma `../../matitadep.opt -stdout Base-2/theory.ma` >> depends +# $(H)echo Base-2/theory.ma `../../matitadep.opt -stdout Base-2/theory.ma` >> depends $(H)../../matitac $(MATITAOPTIONS) 2> /dev/null $(H)rm depends build.opt: $(MAS) $(H)echo Legacy-2/theory.ma `../../matitadep.opt -stdout Legacy-2/theory.ma` >> depends - $(H)echo Base-2/theory.ma `../../matitadep.opt -stdout Base-2/theory.ma` >> depends +# $(H)echo Base-2/theory.ma `../../matitadep.opt -stdout Base-2/theory.ma` >> depends $(H)../../matitac.opt $(MATITAOPTIONS) 2> /dev/null $(H)rm depends @@ -41,12 +41,12 @@ clean.ma: depend: @echo matitadep $(H)../../matitadep $(foreach FILE,$(XMAS),-exclude $(FILE)) - $(H)cat Legacy-2/depends Base-2/depends >> depends + $(H)cat Legacy-2/depends >> depends # Base-2/depends depend.opt: @echo matitadep.opt $(H)../../matitadep.opt $(foreach FILE,$(XMAS),-exclude $(FILE)) - $(H)cat Legacy-2/depends Base-2/depends >> depends + $(H)cat Legacy-2/depends >> depends # Base-2/depends depends: depend.opt @@ -56,4 +56,4 @@ depends: depend.opt $(H)echo $@ `../../matitadep.opt -stdout $@` >> depends include Legacy-2/.depend -include Base-2/.depend +# include Base-2/.depend -- 2.39.2