From eb58714742121171e45852558f92d05addf6a6e8 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 9 Apr 2008 08:47:07 +0000 Subject: [PATCH] ... --- helm/software/components/ng_kernel/.depend | 24 +++++++++++----------- 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/helm/software/components/ng_kernel/.depend b/helm/software/components/ng_kernel/.depend index 0485befbe..dddb17c02 100644 --- a/helm/software/components/ng_kernel/.depend +++ b/helm/software/components/ng_kernel/.depend @@ -1,11 +1,11 @@ nReference.cmi: nUri.cmi nCicPp.cmi: nCic.cmo oCic2NCic.cmi: nCic.cmo -nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo -nCicTypeChecker.cmi: nUri.cmi nCic.cmo nCicUtils.cmi: nCic.cmo nCicSubstitution.cmi: nCic.cmo +nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo nCicReduction.cmi: nCic.cmo +nCicTypeChecker.cmi: nUri.cmi nCic.cmo nCic2OCic.cmi: nCic.cmo nCic.cmo: nUri.cmi nReference.cmi nCic.cmx: nUri.cmx nReference.cmx @@ -13,14 +13,22 @@ nUri.cmo: nUri.cmi nUri.cmx: nUri.cmi nReference.cmo: nUri.cmi nReference.cmi nReference.cmx: nUri.cmx nReference.cmi -nCicPp.cmo: nCicPp.cmi -nCicPp.cmx: nCicPp.cmi +nCicPp.cmo: nUri.cmi nReference.cmi nCic.cmo nCicPp.cmi +nCicPp.cmx: nUri.cmx nReference.cmx nCic.cmx nCicPp.cmi oCic2NCic.cmo: nUri.cmi nReference.cmi nCic.cmo oCic2NCic.cmi oCic2NCic.cmx: nUri.cmx nReference.cmx nCic.cmx oCic2NCic.cmi +nCicUtils.cmo: nCic.cmo nCicUtils.cmi +nCicUtils.cmx: nCic.cmx nCicUtils.cmi +nCicSubstitution.cmo: nCicUtils.cmi nCic.cmo nCicSubstitution.cmi +nCicSubstitution.cmx: nCicUtils.cmx nCic.cmx nCicSubstitution.cmi nCicEnvironment.cmo: oCic2NCic.cmi nUri.cmi nReference.cmi nCic.cmo \ nCicEnvironment.cmi nCicEnvironment.cmx: oCic2NCic.cmx nUri.cmx nReference.cmx nCic.cmx \ nCicEnvironment.cmi +nCicReduction.cmo: nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \ + nCicEnvironment.cmi nCic.cmo nCicReduction.cmi +nCicReduction.cmx: nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \ + nCicEnvironment.cmx nCic.cmx nCicReduction.cmi nCicTypeChecker.cmo: nUri.cmi nReference.cmi nCicUtils.cmi \ nCicSubstitution.cmi nCicReduction.cmi nCicPp.cmi nCicEnvironment.cmi \ nCic.cmo nCicTypeChecker.cmi @@ -29,13 +37,5 @@ nCicTypeChecker.cmx: nUri.cmx nReference.cmx nCicUtils.cmx \ nCic.cmx nCicTypeChecker.cmi oCicTypeChecker.cmo: oCic2NCic.cmi nCicTypeChecker.cmi oCicTypeChecker.cmi oCicTypeChecker.cmx: oCic2NCic.cmx nCicTypeChecker.cmx oCicTypeChecker.cmi -nCicUtils.cmo: nCic.cmo nCicUtils.cmi -nCicUtils.cmx: nCic.cmx nCicUtils.cmi -nCicSubstitution.cmo: nCicUtils.cmi nCic.cmo nCicSubstitution.cmi -nCicSubstitution.cmx: nCicUtils.cmx nCic.cmx nCicSubstitution.cmi -nCicReduction.cmo: nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \ - nCicEnvironment.cmi nCic.cmo nCicReduction.cmi -nCicReduction.cmx: nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \ - nCicEnvironment.cmx nCic.cmx nCicReduction.cmi nCic2OCic.cmo: nUri.cmi nReference.cmi nCic.cmo nCic2OCic.cmi nCic2OCic.cmx: nUri.cmx nReference.cmx nCic.cmx nCic2OCic.cmi -- 2.39.2