From 8b81a921636cd50f223f33cacda07bc0958b9ae8 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 13 Feb 2008 17:24:39 +0000 Subject: [PATCH 1/1] fixed dependences --- .../contribs/LAMBDA-TYPES/Base-2/{xdepend => .depend} | 0 .../matita/contribs/LAMBDA-TYPES/Base-2/Makefile | 9 ++++++--- .../matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma | 2 -- .../matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma | 2 -- .../matita/contribs/LAMBDA-TYPES/Base-2/depends_mma | 9 +++++++++ .../matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma | 2 -- .../matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma | 2 -- .../matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma | 2 -- .../matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma | 2 -- .../matita/contribs/LAMBDA-TYPES/Base-2/theory.mma | 2 -- .../matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma | 2 -- .../matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma | 2 -- 12 files changed, 15 insertions(+), 21 deletions(-) rename helm/software/matita/contribs/LAMBDA-TYPES/Base-2/{xdepend => .depend} (100%) create mode 100644 helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depends_mma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/xdepend b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/.depend similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base-2/xdepend rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-2/.depend diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile index 125029529..fb110c559 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile @@ -4,9 +4,8 @@ MMAS = $(shell find -name "*.mma") MAS = $(MMAS:%.mma=%.ma) %.ma: %.mma -# echo -e "$< preamble.ma \npreamble.ma" > depends ../../../matitac.opt -dump $@ $< 2>/dev/null - ../../../matitadep.opt + $(MAKE) depend.opt ../../../matitac.opt $@ $(DIR) all: $(MAS) @@ -16,12 +15,16 @@ $(DIR).opt opt all.opt: $(MAS) clean: ../../../matitaclean rm -f $(MAS) + $(MAKE) depend clean.opt: ../../../matitaclean.opt rm -f $(MAS) + $(MAKE) depend.opt depend: ../../../matitadep + cat depends_mma >> depends depend.opt: ../../../matitadep.opt + cat depends_mma >> depends -include xdepend +include .depend diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma index 12438b398..98bb97a68 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma @@ -14,8 +14,6 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/blt/defs". - include "preamble.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma index d24466394..5dfa152ee 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma @@ -14,8 +14,6 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/blt/props". - include "blt/defs.ma". inline procedural "cic:/matita/LAMBDA-TYPES/Base-1/blt/props/lt_blt.con". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depends_mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depends_mma new file mode 100644 index 000000000..8bf5d1e06 --- /dev/null +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depends_mma @@ -0,0 +1,9 @@ +theory.mma preamble.ma +ext/tactics.mma preamble.ma +ext/arith.mma preamble.ma +types/defs.mma preamble.ma +types/props.mma preamble.ma +blt/defs.mma preamble.ma +blt/props.mma preamble.ma +plist/defs.mma preamble.ma +plist/props.mma preamble.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma index 0047b1438..4e73adbf7 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma @@ -14,8 +14,6 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/ext/arith". - include "preamble.ma". inline procedural "cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/nat_dec.con". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma index 18de7f71a..e6b75198a 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma @@ -14,8 +14,6 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/ext/tactics". - include "preamble.ma". inline procedural "cic:/matita/LAMBDA-TYPES/Base-1/ext/tactics/insert_eq.con". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma index 3dc03da0b..4ae6d5156 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma @@ -14,8 +14,6 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/plist/defs". - include "preamble.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma index 29357a88a..130dee88c 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma @@ -14,8 +14,6 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/plist/props". - include "plist/defs.ma". inline procedural "cic:/matita/LAMBDA-TYPES/Base-1/plist/props/papp_ss.con". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory.mma index 1adab3e2b..c7c94ce53 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory.mma @@ -14,8 +14,6 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/theory". - include "ext/tactics.ma". include "ext/arith.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma index 87c3378c2..e6ad43747 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma @@ -14,8 +14,6 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/types/defs". - include "preamble.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma index d79bfc46b..b9abd1c42 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma @@ -14,8 +14,6 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/types/props". - include "types/defs.ma". inline procedural "cic:/matita/LAMBDA-TYPES/Base-1/types/props/ex2_sym.con". -- 2.39.2