From: Ferruccio Guidi Date: Wed, 13 Feb 2008 17:24:39 +0000 (+0000) Subject: fixed dependences X-Git-Tag: make_still_working~5604 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8b81a921636cd50f223f33cacda07bc0958b9ae8;hp=a981dd18ae8ad9e9da79615fb80fe85dfe609f05;p=helm.git fixed dependences --- diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/.depend b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/.depend new file mode 100644 index 000000000..1f10a0079 --- /dev/null +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/.depend @@ -0,0 +1,9 @@ +theory.ma: theory.mma ext/tactics.ma ext/arith.ma types/props.ma blt/props.ma plist/props.ma +ext/tactics.ma: ext/tactics.mma preamble.ma +ext/arith.ma: ext/arith.mma preamble.ma +types/defs.ma: types/defs.mma preamble.ma +types/props.ma: types/props.mma types/defs.ma +blt/defs.ma: blt/defs.mma preamble.ma +blt/props.ma: blt/props.mma blt/defs.ma +plist/defs.ma: plist/defs.mma preamble.ma +plist/props.ma: plist/props.mma plist/defs.ma 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". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/xdepend b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/xdepend deleted file mode 100644 index 1f10a0079..000000000 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/xdepend +++ /dev/null @@ -1,9 +0,0 @@ -theory.ma: theory.mma ext/tactics.ma ext/arith.ma types/props.ma blt/props.ma plist/props.ma -ext/tactics.ma: ext/tactics.mma preamble.ma -ext/arith.ma: ext/arith.mma preamble.ma -types/defs.ma: types/defs.mma preamble.ma -types/props.ma: types/props.mma types/defs.ma -blt/defs.ma: blt/defs.mma preamble.ma -blt/props.ma: blt/props.mma blt/defs.ma -plist/defs.ma: plist/defs.mma preamble.ma -plist/props.ma: plist/props.mma plist/defs.ma