From b9f1e090b5aad5a1f2429f0b49e0c1abe7a1cf79 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 9 Apr 2008 14:58:35 +0000 Subject: [PATCH] ... --- .../software/components/ng_kernel/.depend.opt | 41 +++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 helm/software/components/ng_kernel/.depend.opt diff --git a/helm/software/components/ng_kernel/.depend.opt b/helm/software/components/ng_kernel/.depend.opt new file mode 100644 index 000000000..4a637b804 --- /dev/null +++ b/helm/software/components/ng_kernel/.depend.opt @@ -0,0 +1,41 @@ +nReference.cmi: nUri.cmi +oCic2NCic.cmi: nCic.cmx +nCicUtils.cmi: nCic.cmx +nCicSubstitution.cmi: nCic.cmx +nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmx +nCicPp.cmi: nCic.cmx +nCicReduction.cmi: nCic.cmx +nCicTypeChecker.cmi: nUri.cmi nCic.cmx +nCic2OCic.cmi: nCic.cmx +nCic.cmo: nUri.cmi nReference.cmi +nCic.cmx: nUri.cmx nReference.cmx +nUri.cmo: nUri.cmi +nUri.cmx: nUri.cmi +nReference.cmo: nUri.cmi nReference.cmi +nReference.cmx: nUri.cmx nReference.cmi +oCic2NCic.cmo: nUri.cmi nReference.cmi nCic.cmx oCic2NCic.cmi +oCic2NCic.cmx: nUri.cmx nReference.cmx nCic.cmx oCic2NCic.cmi +nCicUtils.cmo: nCic.cmx nCicUtils.cmi +nCicUtils.cmx: nCic.cmx nCicUtils.cmi +nCicSubstitution.cmo: nCicUtils.cmi nCic.cmx nCicSubstitution.cmi +nCicSubstitution.cmx: nCicUtils.cmx nCic.cmx nCicSubstitution.cmi +nCicEnvironment.cmo: oCic2NCic.cmi nUri.cmi nReference.cmi nCic.cmx \ + nCicEnvironment.cmi +nCicEnvironment.cmx: oCic2NCic.cmx nUri.cmx nReference.cmx nCic.cmx \ + nCicEnvironment.cmi +nCicPp.cmo: nUri.cmi nReference.cmi nCicEnvironment.cmi nCic.cmx nCicPp.cmi +nCicPp.cmx: nUri.cmx nReference.cmx nCicEnvironment.cmx nCic.cmx nCicPp.cmi +nCicReduction.cmo: nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \ + nCicEnvironment.cmi nCic.cmx 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.cmx nCicTypeChecker.cmi +nCicTypeChecker.cmx: nUri.cmx nReference.cmx nCicUtils.cmx \ + nCicSubstitution.cmx nCicReduction.cmx nCicPp.cmx nCicEnvironment.cmx \ + nCic.cmx nCicTypeChecker.cmi +oCicTypeChecker.cmo: oCic2NCic.cmi nCicTypeChecker.cmi oCicTypeChecker.cmi +oCicTypeChecker.cmx: oCic2NCic.cmx nCicTypeChecker.cmx oCicTypeChecker.cmi +nCic2OCic.cmo: nUri.cmi nReference.cmi nCic.cmx nCic2OCic.cmi +nCic2OCic.cmx: nUri.cmx nReference.cmx nCic.cmx nCic2OCic.cmi -- 2.39.2