From 4d9a43f8a4813dc818d7454c4ebe2798f9aef283 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 12 Feb 2004 22:01:43 +0000 Subject: [PATCH] new .depend files --- helm/gTopLevel/.depend | 4 ++-- helm/ocaml/cic/.depend | 4 ++-- helm/ocaml/cic_unification/.depend | 2 -- helm/ocaml/getter/.depend | 4 ++-- helm/ocaml/tactics/.depend | 10 ++++------ 5 files changed, 10 insertions(+), 14 deletions(-) diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend index f22b5a1ad..ceb96bd38 100644 --- a/helm/gTopLevel/.depend +++ b/helm/gTopLevel/.depend @@ -29,8 +29,8 @@ invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \ termViewer.cmx invokeTactics.cmi hbugs.cmo: invokeTactics.cmi proofEngine.cmi hbugs.cmi hbugs.cmx: invokeTactics.cmx proofEngine.cmx hbugs.cmi -chosenTermEditor.cmo: termEditor.cmi chosenTermEditor.cmi -chosenTermEditor.cmx: termEditor.cmx chosenTermEditor.cmi +chosenTermEditor.cmo: texTermEditor.cmi chosenTermEditor.cmi +chosenTermEditor.cmx: texTermEditor.cmx chosenTermEditor.cmi helmGtkLogger.cmo: helmGtkLogger.cmi helmGtkLogger.cmx: helmGtkLogger.cmi gTopLevel.cmo: chosenTermEditor.cmi chosenTransformer.cmi \ diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend index 567c610f4..e46636b24 100644 --- a/helm/ocaml/cic/.depend +++ b/helm/ocaml/cic/.depend @@ -11,7 +11,7 @@ cicParser2.cmo: cic.cmo cicParser3.cmi cicParser2.cmi cicParser2.cmx: cic.cmx cicParser3.cmx cicParser2.cmi cicParser.cmo: cicParser2.cmi cicParser3.cmi deannotate.cmi cicParser.cmi cicParser.cmx: cicParser2.cmx cicParser3.cmx deannotate.cmx cicParser.cmi -cicUtil.cmo: cicUtil.cmi -cicUtil.cmx: cicUtil.cmi +cicUtil.cmo: cic.cmo cicUtil.cmi +cicUtil.cmx: cic.cmx cicUtil.cmi helmLibraryObjects.cmo: cic.cmo helmLibraryObjects.cmx: cic.cmx diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend index 30f6d160b..b91986315 100644 --- a/helm/ocaml/cic_unification/.depend +++ b/helm/ocaml/cic_unification/.depend @@ -1,5 +1,3 @@ -cicMkImplicit.cmo: cicMkImplicit.cmi -cicMkImplicit.cmx: cicMkImplicit.cmi cicUnification.cmi: cicMetaSubst.cmi cicMkImplicit.cmo: cicMkImplicit.cmi cicMkImplicit.cmx: cicMkImplicit.cmi diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend index 45bc04e7b..58fb042ac 100644 --- a/helm/ocaml/getter/.depend +++ b/helm/ocaml/getter/.depend @@ -26,11 +26,11 @@ http_getter_cache.cmo: http_getter_common.cmi http_getter_debugger.cmi \ http_getter_cache.cmx: http_getter_common.cmx http_getter_debugger.cmx \ http_getter_env.cmx http_getter_misc.cmx http_getter_types.cmx \ http_getter_cache.cmi -http_getter.cmo: http_getter_cache.cmi http_getter_common.cmi \ +http_getter.cmo: clientHTTP.cmi http_getter_cache.cmi http_getter_common.cmi \ http_getter_const.cmi http_getter_debugger.cmi http_getter_env.cmi \ http_getter_map.cmi http_getter_misc.cmi http_getter_types.cmo \ http_getter.cmi -http_getter.cmx: http_getter_cache.cmx http_getter_common.cmx \ +http_getter.cmx: clientHTTP.cmx http_getter_cache.cmx http_getter_common.cmx \ http_getter_const.cmx http_getter_debugger.cmx http_getter_env.cmx \ http_getter_map.cmx http_getter_misc.cmx http_getter_types.cmx \ http_getter.cmi diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend index fd3a652e8..356cf4b85 100644 --- a/helm/ocaml/tactics/.depend +++ b/helm/ocaml/tactics/.depend @@ -32,12 +32,10 @@ primitiveTactics.cmo: proofEngineHelpers.cmi proofEngineReduction.cmi \ primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \ proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \ primitiveTactics.cmi -variousTactics.cmo: primitiveTactics.cmi proofEngineHelpers.cmi \ - proofEngineReduction.cmi proofEngineTypes.cmo tacticals.cmi \ - variousTactics.cmi -variousTactics.cmx: primitiveTactics.cmx proofEngineHelpers.cmx \ - proofEngineReduction.cmx proofEngineTypes.cmx tacticals.cmx \ - variousTactics.cmi +variousTactics.cmo: primitiveTactics.cmi proofEngineReduction.cmi \ + proofEngineTypes.cmo tacticals.cmi variousTactics.cmi +variousTactics.cmx: primitiveTactics.cmx proofEngineReduction.cmx \ + proofEngineTypes.cmx tacticals.cmx variousTactics.cmi introductionTactics.cmo: primitiveTactics.cmi proofEngineTypes.cmo \ introductionTactics.cmi introductionTactics.cmx: primitiveTactics.cmx proofEngineTypes.cmx \ -- 2.39.2