From 057a399c7f497cde3a09cd46505a441d2d6bacc7 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 4 Nov 2010 22:44:31 +0000 Subject: [PATCH] Dependencies re-computed. --- matita/components/lexicon/.depend | 9 +++------ matita/components/ng_cic_content/.depend | 6 ++---- matita/matita/.depend | 6 ++---- 3 files changed, 7 insertions(+), 14 deletions(-) diff --git a/matita/components/lexicon/.depend b/matita/components/lexicon/.depend index ae6436114..84cbde3e1 100644 --- a/matita/components/lexicon/.depend +++ b/matita/components/lexicon/.depend @@ -1,9 +1,6 @@ grafiteDisambiguate.cmi: -lexiconTypes.cmi: grafiteDisambiguate.cmi -lexiconSync.cmi: lexiconTypes.cmi +lexiconSync.cmi: grafiteDisambiguate.cmi grafiteDisambiguate.cmo: grafiteDisambiguate.cmi grafiteDisambiguate.cmx: grafiteDisambiguate.cmi -lexiconTypes.cmo: grafiteDisambiguate.cmi lexiconTypes.cmi -lexiconTypes.cmx: grafiteDisambiguate.cmx lexiconTypes.cmi -lexiconSync.cmo: lexiconSync.cmi -lexiconSync.cmx: lexiconSync.cmi +lexiconSync.cmo: grafiteDisambiguate.cmi lexiconSync.cmi +lexiconSync.cmx: grafiteDisambiguate.cmx lexiconSync.cmi diff --git a/matita/components/ng_cic_content/.depend b/matita/components/ng_cic_content/.depend index dd8940e5a..fd1b831b9 100644 --- a/matita/components/ng_cic_content/.depend +++ b/matita/components/ng_cic_content/.depend @@ -2,7 +2,5 @@ ncic2astMatcher.cmi: interpretations.cmi: ncic2astMatcher.cmo: ncic2astMatcher.cmi ncic2astMatcher.cmx: ncic2astMatcher.cmi -interpretations.cmo: ncic2astMatcher.cmi interpretations.cmi \ - interpretations.cmi -interpretations.cmx: ncic2astMatcher.cmx interpretations.cmx \ - interpretations.cmi +interpretations.cmo: ncic2astMatcher.cmi interpretations.cmi +interpretations.cmx: ncic2astMatcher.cmx interpretations.cmi diff --git a/matita/matita/.depend b/matita/matita/.depend index ffe6ee646..b8de092d1 100644 --- a/matita/matita/.depend +++ b/matita/matita/.depend @@ -6,10 +6,8 @@ lablGraphviz.cmo: lablGraphviz.cmi lablGraphviz.cmx: lablGraphviz.cmi matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi -matitacLib.cmo: matitaMisc.cmi matitaExcPp.cmi matitaEngine.cmi \ - buildTimeConf.cmo matitacLib.cmi -matitacLib.cmx: matitaMisc.cmx matitaExcPp.cmx matitaEngine.cmx \ - buildTimeConf.cmx matitacLib.cmi +matitacLib.cmo: matitaExcPp.cmi matitaEngine.cmi matitacLib.cmi +matitacLib.cmx: matitaExcPp.cmx matitaEngine.cmx matitacLib.cmi matitac.cmo: matitadep.cmi matitaclean.cmi matitacLib.cmi matitaMisc.cmi \ matitaInit.cmi matitac.cmx: matitadep.cmx matitaclean.cmx matitacLib.cmx matitaMisc.cmx \ -- 2.39.2