From fb9237a1eb706f8d7e6ed0fea9e6f6a65fa5d7fe Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 13 Feb 2008 13:40:54 +0000 Subject: [PATCH] renaming --- .../matita/contribs/LAMBDA-TYPES/Base-2/Makefile | 11 ++++++----- .../LAMBDA-TYPES/Base-2/blt/{defs2.mma => defs.mma} | 0 .../LAMBDA-TYPES/Base-2/blt/{props2.mma => props.mma} | 0 .../LAMBDA-TYPES/Base-2/ext/{arith2.mma => arith.mma} | 0 .../Base-2/ext/{tactics2.mma => tactics.mma} | 0 .../LAMBDA-TYPES/Base-2/plist/{defs2.mma => defs.mma} | 0 .../Base-2/plist/{props2.mma => props.mma} | 0 .../LAMBDA-TYPES/Base-2/{theory2.mma => theory.mma} | 0 .../LAMBDA-TYPES/Base-2/types/{defs2.mma => defs.mma} | 0 .../Base-2/types/{props2.mma => props.mma} | 0 10 files changed, 6 insertions(+), 5 deletions(-) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/{defs2.mma => defs.mma} (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/{props2.mma => props.mma} (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/{arith2.mma => arith.mma} (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/{tactics2.mma => tactics.mma} (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/{defs2.mma => defs.mma} (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/{props2.mma => props.mma} (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/{theory2.mma => theory.mma} (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/{defs2.mma => defs.mma} (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/{props2.mma => props.mma} (100%) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile index f67b79581..125029529 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile @@ -4,7 +4,7 @@ MMAS = $(shell find -name "*.mma") MAS = $(MMAS:%.mma=%.ma) %.ma: %.mma - echo -e "$< preamble.ma \npreamble.ma" > depends +# echo -e "$< preamble.ma \npreamble.ma" > depends ../../../matitac.opt -dump $@ $< 2>/dev/null ../../../matitadep.opt ../../../matitac.opt $@ @@ -19,8 +19,9 @@ clean: clean.opt: ../../../matitaclean.opt rm -f $(MAS) +depend: + ../../../matitadep +depend.opt: + ../../../matitadep.opt -theory2.ma: theory2.mma ext/tactics2.ma ext/arith2.ma types/props2.ma blt/props2.ma plist/props2.ma -types/props2.ma: types/props2.mma types/defs2.ma -blt/props2.ma: blt/props2.mma blt/defs2.ma -plist/props2.ma: plist/props2.mma plist/defs2.ma +include xdepend diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs2.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs2.mma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props2.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props2.mma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith2.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith2.mma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics2.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics2.mma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs2.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs2.mma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props2.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props2.mma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory2.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory.mma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory2.mma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory.mma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs2.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs2.mma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props2.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props2.mma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma -- 2.39.2