From: Claudio Sacerdoti Coen Date: Thu, 27 Oct 2005 13:42:24 +0000 (+0000) Subject: ... X-Git-Tag: V_0_7_2_3~178 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bf7e3e1fa84572e0430c12b1ec0ed57844ab5e30;p=helm.git ... --- diff --git a/helm/matita/.depend b/helm/matita/.depend index be561c24a..65cdb1bf4 100644 --- a/helm/matita/.depend +++ b/helm/matita/.depend @@ -1,25 +1,13 @@ dump_moo.cmo: matitaMoo.cmi matitaLog.cmi buildTimeConf.cmo dump_moo.cmx: matitaMoo.cmx matitaLog.cmx buildTimeConf.cmx -matitacleanLib.cmo: matitaSync.cmi matitaMisc.cmi matitaLog.cmi matitaDb.cmi \ - matitacleanLib.cmi -matitacleanLib.cmx: matitaSync.cmx matitaMisc.cmx matitaLog.cmx matitaDb.cmx \ - matitacleanLib.cmi -matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaLog.cmi \ - matitaInit.cmi matitaDb.cmi -matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaLog.cmx \ - matitaInit.cmx matitaDb.cmx -matitacLib.cmo: matitacleanLib.cmi matitaTypes.cmi matitaMoo.cmi \ - matitaMisc.cmi matitaLog.cmi matitaInit.cmi matitaExcPp.cmi \ - matitaEngine.cmi matitaDb.cmi buildTimeConf.cmo matitacLib.cmi -matitacLib.cmx: matitacleanLib.cmx matitaTypes.cmx matitaMoo.cmx \ - matitaMisc.cmx matitaLog.cmx matitaInit.cmx matitaExcPp.cmx \ - matitaEngine.cmx matitaDb.cmx buildTimeConf.cmx matitacLib.cmi -matitac.cmo: matitacLib.cmi -matitac.cmx: matitacLib.cmx +matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ + matitaMathView.cmi matitaLog.cmi matitaInit.cmi matitaGui.cmi \ + matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmo +matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ + matitaMathView.cmx matitaLog.cmx matitaInit.cmx matitaGui.cmx \ + matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx matitaDb.cmo: matitaMisc.cmi matitaDb.cmi matitaDb.cmx: matitaMisc.cmx matitaDb.cmi -matitadep.cmo: matitaMisc.cmi matitaLog.cmi matitaInit.cmi buildTimeConf.cmo -matitadep.cmx: matitaMisc.cmx matitaLog.cmx matitaInit.cmx buildTimeConf.cmx matitaDisambiguator.cmo: matitaTypes.cmi matitaDisambiguator.cmi matitaDisambiguator.cmx: matitaTypes.cmx matitaDisambiguator.cmi matitaEngine.cmo: matitacleanLib.cmi matitaTypes.cmi matitaSync.cmi \ @@ -48,10 +36,6 @@ matitaInit.cmx: matitamakeLib.cmx matitaDb.cmx buildTimeConf.cmx \ matitaInit.cmi matitaLog.cmo: matitaLog.cmi matitaLog.cmx: matitaLog.cmi -matitamakeLib.cmo: matitaLog.cmi buildTimeConf.cmo matitamakeLib.cmi -matitamakeLib.cmx: matitaLog.cmx buildTimeConf.cmx matitamakeLib.cmi -matitamake.cmo: matitamakeLib.cmi matitaInit.cmi -matitamake.cmx: matitamakeLib.cmx matitaInit.cmx matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ matitaLog.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \ buildTimeConf.cmo matitaMathView.cmi @@ -62,12 +46,6 @@ matitaMisc.cmo: matitaTypes.cmi matitaLog.cmi matitaExcPp.cmi \ buildTimeConf.cmo matitaMisc.cmi matitaMisc.cmx: matitaTypes.cmx matitaLog.cmx matitaExcPp.cmx \ buildTimeConf.cmx matitaMisc.cmi -matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi matitaLog.cmi \ - matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi matitaEngine.cmi \ - buildTimeConf.cmo -matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx matitaLog.cmx \ - matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx matitaEngine.cmx \ - buildTimeConf.cmx matitaMoo.cmo: matitaTypes.cmi matitaMoo.cmi matitaMoo.cmx: matitaTypes.cmx matitaMoo.cmi matitaScript.cmo: matitamakeLib.cmi matitacleanLib.cmi matitaTypes.cmi \ @@ -82,6 +60,28 @@ matitaSync.cmx: matitaTypes.cmx matitaMisc.cmx matitaLog.cmx matitaDb.cmx \ matitaSync.cmi matitaTypes.cmo: matitaLog.cmi matitaTypes.cmi matitaTypes.cmx: matitaLog.cmx matitaTypes.cmi +matitac.cmo: matitacLib.cmi +matitac.cmx: matitacLib.cmx +matitacLib.cmo: matitacleanLib.cmi matitaTypes.cmi matitaMoo.cmi \ + matitaMisc.cmi matitaLog.cmi matitaInit.cmi matitaExcPp.cmi \ + matitaEngine.cmi matitaDb.cmi buildTimeConf.cmo matitacLib.cmi +matitacLib.cmx: matitacleanLib.cmx matitaTypes.cmx matitaMoo.cmx \ + matitaMisc.cmx matitaLog.cmx matitaInit.cmx matitaExcPp.cmx \ + matitaEngine.cmx matitaDb.cmx buildTimeConf.cmx matitacLib.cmi +matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaLog.cmi \ + matitaInit.cmi matitaDb.cmi +matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaLog.cmx \ + matitaInit.cmx matitaDb.cmx +matitacleanLib.cmo: matitaSync.cmi matitaMoo.cmi matitaMisc.cmi matitaLog.cmi \ + matitaDb.cmi matitacleanLib.cmi +matitacleanLib.cmx: matitaSync.cmx matitaMoo.cmx matitaMisc.cmx matitaLog.cmx \ + matitaDb.cmx matitacleanLib.cmi +matitadep.cmo: matitaMisc.cmi matitaLog.cmi matitaInit.cmi +matitadep.cmx: matitaMisc.cmx matitaLog.cmx matitaInit.cmx +matitamake.cmo: matitamakeLib.cmi matitaInit.cmi +matitamake.cmx: matitamakeLib.cmx matitaInit.cmx +matitamakeLib.cmo: matitaLog.cmi buildTimeConf.cmo matitamakeLib.cmi +matitamakeLib.cmx: matitaLog.cmx buildTimeConf.cmx matitamakeLib.cmi matitaDisambiguator.cmi: matitaTypes.cmi matitaEngine.cmi: matitaTypes.cmi matitaGtkMisc.cmi: matitaGeneratedGui.cmi diff --git a/helm/ocaml/cic_notation/.depend b/helm/ocaml/cic_notation/.depend index 95eb76c4d..c19c9ea3c 100644 --- a/helm/ocaml/cic_notation/.depend +++ b/helm/ocaml/cic_notation/.depend @@ -29,16 +29,16 @@ grafiteAstPp.cmo: grafiteAst.cmo cicNotationPt.cmo cicNotationPp.cmi \ grafiteAstPp.cmi grafiteAstPp.cmx: grafiteAst.cmx cicNotationPt.cmx cicNotationPp.cmx \ grafiteAstPp.cmi -cicNotationMatcher.cmo: cicNotationUtil.cmi cicNotationTag.cmi \ - cicNotationPt.cmo cicNotationPp.cmi cicNotationEnv.cmi \ +cicNotationMatcher.cmo: grafiteAstPp.cmi cicNotationUtil.cmi \ + cicNotationTag.cmi cicNotationPt.cmo cicNotationPp.cmi cicNotationEnv.cmi \ cicNotationMatcher.cmi -cicNotationMatcher.cmx: cicNotationUtil.cmx cicNotationTag.cmx \ - cicNotationPt.cmx cicNotationPp.cmx cicNotationEnv.cmx \ +cicNotationMatcher.cmx: grafiteAstPp.cmx cicNotationUtil.cmx \ + cicNotationTag.cmx cicNotationPt.cmx cicNotationPp.cmx cicNotationEnv.cmx \ cicNotationMatcher.cmi -cicNotationFwd.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationEnv.cmi \ - cicNotationFwd.cmi -cicNotationFwd.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmx \ - cicNotationFwd.cmi +cicNotationFwd.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationPp.cmi \ + cicNotationEnv.cmi cicNotationFwd.cmi +cicNotationFwd.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \ + cicNotationEnv.cmx cicNotationFwd.cmi cicNotationRew.cmo: renderingAttrs.cmi cicNotationUtil.cmi cicNotationPt.cmo \ cicNotationPp.cmi cicNotationMatcher.cmi cicNotationEnv.cmi \ cicNotationRew.cmi diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend index d4b95366d..8da4518c3 100644 --- a/helm/ocaml/cic_unification/.depend +++ b/helm/ocaml/cic_unification/.depend @@ -1,3 +1,4 @@ +coercGraph.cmi: coercDb.cmi cicMetaSubst.cmo: cicMetaSubst.cmi cicMetaSubst.cmx: cicMetaSubst.cmi cicMkImplicit.cmo: cicMkImplicit.cmi diff --git a/helm/ocaml/paramodulation/.depend b/helm/ocaml/paramodulation/.depend index 591ad1df8..8a74093c5 100644 --- a/helm/ocaml/paramodulation/.depend +++ b/helm/ocaml/paramodulation/.depend @@ -11,5 +11,3 @@ indexing.cmo: utils.cmi inference.cmi discrimination_tree.cmo indexing.cmx: utils.cmx inference.cmx discrimination_tree.cmx saturation.cmo: utils.cmi inference.cmi indexing.cmo saturation.cmx: utils.cmx inference.cmx indexing.cmx -saturate_main.cmo: utils.cmi saturation.cmo -saturate_main.cmx: utils.cmx saturation.cmx