From ff07bee00bbf349b3b8240f3e1158f622a27363a Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 24 Dec 2006 15:02:39 +0000 Subject: [PATCH] some depend files --- components/acic_content/.depend | 20 ++++++++++---------- components/cic/.depend | 28 ++++++++++++++-------------- components/getter/.depend | 16 ++++++++-------- components/grafite/.depend | 8 ++++---- components/lexicon/.depend | 20 ++++++++++---------- components/library/.depend | 8 ++++---- components/syntax_extensions/.depend | 2 +- components/tactics/.depend | 4 ++-- components/tptp_grafite/.depend | 6 +++--- 9 files changed, 56 insertions(+), 56 deletions(-) diff --git a/components/acic_content/.depend b/components/acic_content/.depend index 8ade458af..fef879256 100644 --- a/components/acic_content/.depend +++ b/components/acic_content/.depend @@ -1,27 +1,27 @@ acic2content.cmi: content.cmi content2cic.cmi: content.cmi -cicNotationUtil.cmi: cicNotationPt.cmo -cicNotationEnv.cmi: cicNotationPt.cmo -cicNotationPp.cmi: cicNotationPt.cmo cicNotationEnv.cmi -acic2astMatcher.cmi: cicNotationPt.cmo -termAcicContent.cmi: cicNotationPt.cmo +cicNotationUtil.cmi: cicNotationPt.cmx +cicNotationEnv.cmi: cicNotationPt.cmx +cicNotationPp.cmi: cicNotationPt.cmx cicNotationEnv.cmi +acic2astMatcher.cmi: cicNotationPt.cmx +termAcicContent.cmi: cicNotationPt.cmx 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.cmo cicNotationUtil.cmi +cicNotationUtil.cmo: cicNotationPt.cmx cicNotationUtil.cmi cicNotationUtil.cmx: cicNotationPt.cmx cicNotationUtil.cmi -cicNotationEnv.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationEnv.cmi +cicNotationEnv.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationEnv.cmi cicNotationEnv.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmi -cicNotationPp.cmo: cicNotationPt.cmo cicNotationEnv.cmi cicNotationPp.cmi +cicNotationPp.cmo: cicNotationPt.cmx cicNotationEnv.cmi cicNotationPp.cmi cicNotationPp.cmx: cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi -acic2astMatcher.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationPp.cmi \ +acic2astMatcher.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationPp.cmi \ acic2astMatcher.cmi acic2astMatcher.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \ acic2astMatcher.cmi -termAcicContent.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationPp.cmi \ +termAcicContent.cmo: cicNotationUtil.cmi cicNotationPt.cmx 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/components/cic/.depend b/components/cic/.depend index 7829317ad..44b016d1c 100644 --- a/components/cic/.depend +++ b/components/cic/.depend @@ -1,27 +1,27 @@ -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 +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 cic.cmo: cicUniv.cmi cic.cmx: cicUniv.cmx -unshare.cmo: cic.cmo unshare.cmi +unshare.cmo: cic.cmx unshare.cmi unshare.cmx: cic.cmx unshare.cmi cicUniv.cmo: cicUniv.cmi cicUniv.cmx: cicUniv.cmi -deannotate.cmo: cic.cmo deannotate.cmi +deannotate.cmo: cic.cmx deannotate.cmi deannotate.cmx: cic.cmx deannotate.cmi -cicParser.cmo: deannotate.cmi cicUniv.cmi cic.cmo cicParser.cmi +cicParser.cmo: deannotate.cmi cicUniv.cmi cic.cmx cicParser.cmi cicParser.cmx: deannotate.cmx cicUniv.cmx cic.cmx cicParser.cmi -cicUtil.cmo: cicUniv.cmi cic.cmo cicUtil.cmi +cicUtil.cmo: cicUniv.cmi cic.cmx cicUtil.cmi cicUtil.cmx: cicUniv.cmx cic.cmx cicUtil.cmi -helmLibraryObjects.cmo: cic.cmo helmLibraryObjects.cmi +helmLibraryObjects.cmo: cic.cmx helmLibraryObjects.cmi helmLibraryObjects.cmx: cic.cmx helmLibraryObjects.cmi libraryObjects.cmo: libraryObjects.cmi libraryObjects.cmx: libraryObjects.cmi -discrimination_tree.cmo: cicUtil.cmi cic.cmo discrimination_tree.cmi +discrimination_tree.cmo: cicUtil.cmi cic.cmx discrimination_tree.cmi discrimination_tree.cmx: cicUtil.cmx cic.cmx discrimination_tree.cmi -path_indexing.cmo: cic.cmo path_indexing.cmi +path_indexing.cmo: cic.cmx path_indexing.cmi path_indexing.cmx: cic.cmx path_indexing.cmi diff --git a/components/getter/.depend b/components/getter/.depend index 20f69cf0c..554fb1ec7 100644 --- a/components/getter/.depend +++ b/components/getter/.depend @@ -1,7 +1,7 @@ -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_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_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.cmo http_getter_misc.cmi \ +http_getter_env.cmo: http_getter_types.cmx 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.cmo \ +http_getter_storage.cmo: http_getter_wget.cmi http_getter_types.cmx \ 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.cmo http_getter_misc.cmi \ +http_getter_common.cmo: http_getter_types.cmx 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.cmo \ +http_getter.cmo: http_getter_wget.cmi http_getter_types.cmx \ 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/components/grafite/.depend b/components/grafite/.depend index dc225e221..0f64ba789 100644 --- a/components/grafite/.depend +++ b/components/grafite/.depend @@ -1,6 +1,6 @@ -grafiteAstPp.cmi: grafiteAst.cmo -grafiteMarshal.cmi: grafiteAst.cmo -grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi +grafiteAstPp.cmi: grafiteAst.cmx +grafiteMarshal.cmi: grafiteAst.cmx +grafiteAstPp.cmo: grafiteAst.cmx grafiteAstPp.cmi grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi -grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmo grafiteMarshal.cmi +grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmx grafiteMarshal.cmi grafiteMarshal.cmx: grafiteAstPp.cmx grafiteAst.cmx grafiteMarshal.cmi diff --git a/components/lexicon/.depend b/components/lexicon/.depend index 452167c72..7fec1d3b5 100644 --- a/components/lexicon/.depend +++ b/components/lexicon/.depend @@ -1,18 +1,18 @@ -lexiconAstPp.cmi: lexiconAst.cmo -disambiguatePp.cmi: lexiconAst.cmo -lexiconMarshal.cmi: lexiconAst.cmo -cicNotation.cmi: lexiconAst.cmo -lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmo cicNotation.cmi +lexiconAstPp.cmi: lexiconAst.cmx +disambiguatePp.cmi: lexiconAst.cmx +lexiconMarshal.cmi: lexiconAst.cmx +cicNotation.cmi: lexiconAst.cmx +lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmx cicNotation.cmi lexiconSync.cmi: lexiconEngine.cmi -lexiconAstPp.cmo: lexiconAst.cmo lexiconAstPp.cmi +lexiconAstPp.cmo: lexiconAst.cmx lexiconAstPp.cmi lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi -disambiguatePp.cmo: lexiconAstPp.cmi lexiconAst.cmo disambiguatePp.cmi +disambiguatePp.cmo: lexiconAstPp.cmi lexiconAst.cmx disambiguatePp.cmi disambiguatePp.cmx: lexiconAstPp.cmx lexiconAst.cmx disambiguatePp.cmi -lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmo lexiconMarshal.cmi +lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmx lexiconMarshal.cmi lexiconMarshal.cmx: lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi -cicNotation.cmo: lexiconAst.cmo cicNotation.cmi +cicNotation.cmo: lexiconAst.cmx cicNotation.cmi cicNotation.cmx: lexiconAst.cmx cicNotation.cmi -lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmo disambiguatePp.cmi \ +lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmx disambiguatePp.cmi \ cicNotation.cmi lexiconEngine.cmi lexiconEngine.cmx: lexiconMarshal.cmx lexiconAst.cmx disambiguatePp.cmx \ cicNotation.cmx lexiconEngine.cmi diff --git a/components/library/.depend b/components/library/.depend index 5f391bc0f..eacb26990 100644 --- a/components/library/.depend +++ b/components/library/.depend @@ -1,5 +1,5 @@ -cicCoercion.cmi: refinementTool.cmo coercDb.cmi -librarySync.cmi: refinementTool.cmo +cicCoercion.cmi: refinementTool.cmx coercDb.cmi +librarySync.cmi: refinementTool.cmx 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.cmo coercDb.cmi cicCoercion.cmi +cicCoercion.cmo: refinementTool.cmx coercDb.cmi cicCoercion.cmi cicCoercion.cmx: refinementTool.cmx coercDb.cmx cicCoercion.cmi -librarySync.cmo: refinementTool.cmo libraryDb.cmi coercDb.cmi cicRecord.cmi \ +librarySync.cmo: refinementTool.cmx 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/components/syntax_extensions/.depend b/components/syntax_extensions/.depend index f3c6a8bd1..c0cd9c906 100644 --- a/components/syntax_extensions/.depend +++ b/components/syntax_extensions/.depend @@ -1,2 +1,2 @@ -utf8Macro.cmo: utf8MacroTable.cmo utf8Macro.cmi +utf8Macro.cmo: utf8MacroTable.cmx utf8Macro.cmi utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi diff --git a/components/tactics/.depend b/components/tactics/.depend index dbccfe6d7..6c23fc909 100644 --- a/components/tactics/.depend +++ b/components/tactics/.depend @@ -53,9 +53,9 @@ proofEngineStructuralRules.cmo: proofEngineTypes.cmi \ proofEngineStructuralRules.cmx: proofEngineTypes.cmx \ proofEngineStructuralRules.cmi primitiveTactics.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \ - proofEngineHelpers.cmi primitiveTactics.cmi + proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi primitiveTactics.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \ - proofEngineHelpers.cmx primitiveTactics.cmi + proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmi hashtbl_equiv.cmo: hashtbl_equiv.cmi hashtbl_equiv.cmx: hashtbl_equiv.cmi metadataQuery.cmo: proofEngineTypes.cmi primitiveTactics.cmi \ diff --git a/components/tptp_grafite/.depend b/components/tptp_grafite/.depend index bc310327f..c74300207 100644 --- a/components/tptp_grafite/.depend +++ b/components/tptp_grafite/.depend @@ -1,7 +1,7 @@ -parser.cmi: ast.cmo +parser.cmi: ast.cmx lexer.cmo: parser.cmi lexer.cmx: parser.cmx -parser.cmo: ast.cmo parser.cmi +parser.cmo: ast.cmx parser.cmi parser.cmx: ast.cmx parser.cmi -tptp2grafite.cmo: parser.cmi lexer.cmo ast.cmo tptp2grafite.cmi +tptp2grafite.cmo: parser.cmi lexer.cmx ast.cmx tptp2grafite.cmi tptp2grafite.cmx: parser.cmx lexer.cmx ast.cmx tptp2grafite.cmi -- 2.39.2