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 (file)
index 0000000..1f10a00
--- /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 125029529c699b8168d0ae27f3c82fc998be8962..fb110c559445e21a8de09e3eff8e8992b47f3093 100644 (file)
--- 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 12438b398e279915d401814e14dbc760145091e1..98bb97a68bdfa2518514f15391c1483ad992e225 100644 (file)
--- 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 d24466394020dcb303af8f3d01e1cf3bf2723a33..5dfa152eef6794a8fb1383fb4f61b1b21e8b746d 100644 (file)
--- 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 (file)
index 0000000..8bf5d1e
--- /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 0047b1438745658b2e7298be65a77e608a57192b..4e73adbf7bbd024d921608441c51617f4faeaf6e 100644 (file)
--- 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 18de7f71a5c1166f833154775b213ed097b2d93a..e6b75198a10ac06cdecfb7368271cebcc501b28d 100644 (file)
--- 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 3dc03da0b1c4ace660c3f977a8ffab6fdde85309..4ae6d51568bb9027e06bcae22a25551428cf6e7a 100644 (file)
--- 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 29357a88a0621f5afaca3d657af34a164d6ec446..130dee88cd425695b4defef724f738b2ff6276fc 100644 (file)
--- 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 1adab3e2b050a62a4238eb4ecc35d13002acc6da..c7c94ce539a43165834ebba46ca7b7a1d5d9608b 100644 (file)
--- 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 87c3378c25ffdad97091d0d100aee518a47e38a0..e6ad43747fdf76551c6082fbd4b0549d9bee931f 100644 (file)
--- 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 d79bfc46b3227350be1ccee85fc2144f3a5f91d4..b9abd1c42a8cf9763552d211ba42e9a19c24ee09 100644 (file)
--- 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 (file)
index 1f10a00..0000000
--- 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