From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2006 14:59:27 +0000 (+0000) Subject: .depends committed to fix non-compilation errors X-Git-Tag: make_still_working~6563 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e3c3f9c570edef8439e5e4ab5c0fbefd0cd32ece;p=helm.git .depends committed to fix non-compilation errors --- diff --git a/helm/software/components/acic_content/.depend b/helm/software/components/acic_content/.depend index fef879256..8ade458af 100644 --- a/helm/software/components/acic_content/.depend +++ b/helm/software/components/acic_content/.depend @@ -1,27 +1,27 @@ acic2content.cmi: content.cmi content2cic.cmi: content.cmi -cicNotationUtil.cmi: cicNotationPt.cmx -cicNotationEnv.cmi: cicNotationPt.cmx -cicNotationPp.cmi: cicNotationPt.cmx cicNotationEnv.cmi -acic2astMatcher.cmi: cicNotationPt.cmx -termAcicContent.cmi: cicNotationPt.cmx +cicNotationUtil.cmi: cicNotationPt.cmo +cicNotationEnv.cmi: cicNotationPt.cmo +cicNotationPp.cmi: cicNotationPt.cmo cicNotationEnv.cmi +acic2astMatcher.cmi: cicNotationPt.cmo +termAcicContent.cmi: cicNotationPt.cmo content.cmo: content.cmi content.cmx: content.cmi acic2content.cmo: content.cmi acic2content.cmi acic2content.cmx: content.cmx acic2content.cmi content2cic.cmo: content.cmi content2cic.cmi content2cic.cmx: content.cmx content2cic.cmi -cicNotationUtil.cmo: cicNotationPt.cmx cicNotationUtil.cmi +cicNotationUtil.cmo: cicNotationPt.cmo cicNotationUtil.cmi cicNotationUtil.cmx: cicNotationPt.cmx cicNotationUtil.cmi -cicNotationEnv.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationEnv.cmi +cicNotationEnv.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationEnv.cmi cicNotationEnv.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmi -cicNotationPp.cmo: cicNotationPt.cmx cicNotationEnv.cmi cicNotationPp.cmi +cicNotationPp.cmo: cicNotationPt.cmo cicNotationEnv.cmi cicNotationPp.cmi cicNotationPp.cmx: cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi -acic2astMatcher.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationPp.cmi \ +acic2astMatcher.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationPp.cmi \ acic2astMatcher.cmi acic2astMatcher.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \ acic2astMatcher.cmi -termAcicContent.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationPp.cmi \ +termAcicContent.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationPp.cmi \ acic2content.cmi acic2astMatcher.cmi termAcicContent.cmi termAcicContent.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \ acic2content.cmx acic2astMatcher.cmx termAcicContent.cmi diff --git a/helm/software/components/cic/.depend b/helm/software/components/cic/.depend index 44b016d1c..7829317ad 100644 --- a/helm/software/components/cic/.depend +++ b/helm/software/components/cic/.depend @@ -1,27 +1,27 @@ -unshare.cmi: cic.cmx -deannotate.cmi: cic.cmx -cicParser.cmi: cic.cmx -cicUtil.cmi: cic.cmx -helmLibraryObjects.cmi: cic.cmx -discrimination_tree.cmi: cic.cmx -path_indexing.cmi: cic.cmx +unshare.cmi: cic.cmo +deannotate.cmi: cic.cmo +cicParser.cmi: cic.cmo +cicUtil.cmi: cic.cmo +helmLibraryObjects.cmi: cic.cmo +discrimination_tree.cmi: cic.cmo +path_indexing.cmi: cic.cmo cic.cmo: cicUniv.cmi cic.cmx: cicUniv.cmx -unshare.cmo: cic.cmx unshare.cmi +unshare.cmo: cic.cmo unshare.cmi unshare.cmx: cic.cmx unshare.cmi cicUniv.cmo: cicUniv.cmi cicUniv.cmx: cicUniv.cmi -deannotate.cmo: cic.cmx deannotate.cmi +deannotate.cmo: cic.cmo deannotate.cmi deannotate.cmx: cic.cmx deannotate.cmi -cicParser.cmo: deannotate.cmi cicUniv.cmi cic.cmx cicParser.cmi +cicParser.cmo: deannotate.cmi cicUniv.cmi cic.cmo cicParser.cmi cicParser.cmx: deannotate.cmx cicUniv.cmx cic.cmx cicParser.cmi -cicUtil.cmo: cicUniv.cmi cic.cmx cicUtil.cmi +cicUtil.cmo: cicUniv.cmi cic.cmo cicUtil.cmi cicUtil.cmx: cicUniv.cmx cic.cmx cicUtil.cmi -helmLibraryObjects.cmo: cic.cmx helmLibraryObjects.cmi +helmLibraryObjects.cmo: cic.cmo helmLibraryObjects.cmi helmLibraryObjects.cmx: cic.cmx helmLibraryObjects.cmi libraryObjects.cmo: libraryObjects.cmi libraryObjects.cmx: libraryObjects.cmi -discrimination_tree.cmo: cicUtil.cmi cic.cmx discrimination_tree.cmi +discrimination_tree.cmo: cicUtil.cmi cic.cmo discrimination_tree.cmi discrimination_tree.cmx: cicUtil.cmx cic.cmx discrimination_tree.cmi -path_indexing.cmo: cic.cmx path_indexing.cmi +path_indexing.cmo: cic.cmo path_indexing.cmi path_indexing.cmx: cic.cmx path_indexing.cmi diff --git a/helm/software/components/getter/.depend b/helm/software/components/getter/.depend index 554fb1ec7..20f69cf0c 100644 --- a/helm/software/components/getter/.depend +++ b/helm/software/components/getter/.depend @@ -1,7 +1,7 @@ -http_getter_env.cmi: http_getter_types.cmx -http_getter_common.cmi: http_getter_types.cmx -http_getter.cmi: http_getter_types.cmx -http_getter_wget.cmo: http_getter_types.cmx http_getter_wget.cmi +http_getter_env.cmi: http_getter_types.cmo +http_getter_common.cmi: http_getter_types.cmo +http_getter.cmi: http_getter_types.cmo +http_getter_wget.cmo: http_getter_types.cmo http_getter_wget.cmi http_getter_wget.cmx: http_getter_types.cmx http_getter_wget.cmi http_getter_logger.cmo: http_getter_logger.cmi http_getter_logger.cmx: http_getter_logger.cmi @@ -9,19 +9,19 @@ http_getter_misc.cmo: http_getter_logger.cmi http_getter_misc.cmi http_getter_misc.cmx: http_getter_logger.cmx http_getter_misc.cmi http_getter_const.cmo: http_getter_const.cmi http_getter_const.cmx: http_getter_const.cmi -http_getter_env.cmo: http_getter_types.cmx http_getter_misc.cmi \ +http_getter_env.cmo: http_getter_types.cmo http_getter_misc.cmi \ http_getter_logger.cmi http_getter_const.cmi http_getter_env.cmi http_getter_env.cmx: http_getter_types.cmx http_getter_misc.cmx \ http_getter_logger.cmx http_getter_const.cmx http_getter_env.cmi -http_getter_storage.cmo: http_getter_wget.cmi http_getter_types.cmx \ +http_getter_storage.cmo: http_getter_wget.cmi http_getter_types.cmo \ http_getter_misc.cmi http_getter_env.cmi http_getter_storage.cmi http_getter_storage.cmx: http_getter_wget.cmx http_getter_types.cmx \ http_getter_misc.cmx http_getter_env.cmx http_getter_storage.cmi -http_getter_common.cmo: http_getter_types.cmx http_getter_misc.cmi \ +http_getter_common.cmo: http_getter_types.cmo http_getter_misc.cmi \ http_getter_logger.cmi http_getter_env.cmi http_getter_common.cmi http_getter_common.cmx: http_getter_types.cmx http_getter_misc.cmx \ http_getter_logger.cmx http_getter_env.cmx http_getter_common.cmi -http_getter.cmo: http_getter_wget.cmi http_getter_types.cmx \ +http_getter.cmo: http_getter_wget.cmi http_getter_types.cmo \ http_getter_storage.cmi http_getter_misc.cmi http_getter_logger.cmi \ http_getter_env.cmi http_getter_const.cmi http_getter_common.cmi \ http_getter.cmi diff --git a/helm/software/components/grafite/.depend b/helm/software/components/grafite/.depend index 0f64ba789..dc225e221 100644 --- a/helm/software/components/grafite/.depend +++ b/helm/software/components/grafite/.depend @@ -1,6 +1,6 @@ -grafiteAstPp.cmi: grafiteAst.cmx -grafiteMarshal.cmi: grafiteAst.cmx -grafiteAstPp.cmo: grafiteAst.cmx grafiteAstPp.cmi +grafiteAstPp.cmi: grafiteAst.cmo +grafiteMarshal.cmi: grafiteAst.cmo +grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi -grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmx grafiteMarshal.cmi +grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmo grafiteMarshal.cmi grafiteMarshal.cmx: grafiteAstPp.cmx grafiteAst.cmx grafiteMarshal.cmi diff --git a/helm/software/components/lexicon/.depend b/helm/software/components/lexicon/.depend index 7fec1d3b5..452167c72 100644 --- a/helm/software/components/lexicon/.depend +++ b/helm/software/components/lexicon/.depend @@ -1,18 +1,18 @@ -lexiconAstPp.cmi: lexiconAst.cmx -disambiguatePp.cmi: lexiconAst.cmx -lexiconMarshal.cmi: lexiconAst.cmx -cicNotation.cmi: lexiconAst.cmx -lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmx cicNotation.cmi +lexiconAstPp.cmi: lexiconAst.cmo +disambiguatePp.cmi: lexiconAst.cmo +lexiconMarshal.cmi: lexiconAst.cmo +cicNotation.cmi: lexiconAst.cmo +lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmo cicNotation.cmi lexiconSync.cmi: lexiconEngine.cmi -lexiconAstPp.cmo: lexiconAst.cmx lexiconAstPp.cmi +lexiconAstPp.cmo: lexiconAst.cmo lexiconAstPp.cmi lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi -disambiguatePp.cmo: lexiconAstPp.cmi lexiconAst.cmx disambiguatePp.cmi +disambiguatePp.cmo: lexiconAstPp.cmi lexiconAst.cmo disambiguatePp.cmi disambiguatePp.cmx: lexiconAstPp.cmx lexiconAst.cmx disambiguatePp.cmi -lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmx lexiconMarshal.cmi +lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmo lexiconMarshal.cmi lexiconMarshal.cmx: lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi -cicNotation.cmo: lexiconAst.cmx cicNotation.cmi +cicNotation.cmo: lexiconAst.cmo cicNotation.cmi cicNotation.cmx: lexiconAst.cmx cicNotation.cmi -lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmx disambiguatePp.cmi \ +lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmo disambiguatePp.cmi \ cicNotation.cmi lexiconEngine.cmi lexiconEngine.cmx: lexiconMarshal.cmx lexiconAst.cmx disambiguatePp.cmx \ cicNotation.cmx lexiconEngine.cmi diff --git a/helm/software/components/library/.depend b/helm/software/components/library/.depend index eacb26990..5f391bc0f 100644 --- a/helm/software/components/library/.depend +++ b/helm/software/components/library/.depend @@ -1,5 +1,5 @@ -cicCoercion.cmi: refinementTool.cmx coercDb.cmi -librarySync.cmi: refinementTool.cmx +cicCoercion.cmi: refinementTool.cmo coercDb.cmi +librarySync.cmi: refinementTool.cmo cicElim.cmo: cicElim.cmi cicElim.cmx: cicElim.cmi cicRecord.cmo: cicRecord.cmi @@ -10,9 +10,9 @@ libraryDb.cmo: libraryDb.cmi libraryDb.cmx: libraryDb.cmi coercDb.cmo: coercDb.cmi coercDb.cmx: coercDb.cmi -cicCoercion.cmo: refinementTool.cmx coercDb.cmi cicCoercion.cmi +cicCoercion.cmo: refinementTool.cmo coercDb.cmi cicCoercion.cmi cicCoercion.cmx: refinementTool.cmx coercDb.cmx cicCoercion.cmi -librarySync.cmo: refinementTool.cmx libraryDb.cmi coercDb.cmi cicRecord.cmi \ +librarySync.cmo: refinementTool.cmo libraryDb.cmi coercDb.cmi cicRecord.cmi \ cicElim.cmi cicCoercion.cmi librarySync.cmi librarySync.cmx: refinementTool.cmx libraryDb.cmx coercDb.cmx cicRecord.cmx \ cicElim.cmx cicCoercion.cmx librarySync.cmi diff --git a/helm/software/components/syntax_extensions/.depend b/helm/software/components/syntax_extensions/.depend index c0cd9c906..f3c6a8bd1 100644 --- a/helm/software/components/syntax_extensions/.depend +++ b/helm/software/components/syntax_extensions/.depend @@ -1,2 +1,2 @@ -utf8Macro.cmo: utf8MacroTable.cmx utf8Macro.cmi +utf8Macro.cmo: utf8MacroTable.cmo utf8Macro.cmi utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi diff --git a/helm/software/components/tptp_grafite/.depend b/helm/software/components/tptp_grafite/.depend index c74300207..bc310327f 100644 --- a/helm/software/components/tptp_grafite/.depend +++ b/helm/software/components/tptp_grafite/.depend @@ -1,7 +1,7 @@ -parser.cmi: ast.cmx +parser.cmi: ast.cmo lexer.cmo: parser.cmi lexer.cmx: parser.cmx -parser.cmo: ast.cmx parser.cmi +parser.cmo: ast.cmo parser.cmi parser.cmx: ast.cmx parser.cmi -tptp2grafite.cmo: parser.cmi lexer.cmx ast.cmx tptp2grafite.cmi +tptp2grafite.cmo: parser.cmi lexer.cmo ast.cmo tptp2grafite.cmi tptp2grafite.cmx: parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi