From 6fdbcbdb9f393020bef2357778d4501057467286 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 11 Apr 2008 15:25:15 +0000 Subject: [PATCH] ... --- helm/software/components/ng_kernel/.depend | 8 +++++--- helm/software/components/ng_kernel/.depend.opt | 8 +++++--- 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/helm/software/components/ng_kernel/.depend b/helm/software/components/ng_kernel/.depend index faeadf95e..b36ba03fe 100644 --- a/helm/software/components/ng_kernel/.depend +++ b/helm/software/components/ng_kernel/.depend @@ -1,7 +1,7 @@ nReference.cmi: nUri.cmi -oCic2NCic.cmi: nCic.cmo nCicUtils.cmi: nCic.cmo nCicSubstitution.cmi: nCic.cmo +oCic2NCic.cmi: nCic.cmo nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo nCicPp.cmi: nCic.cmo nCicReduction.cmi: nCic.cmo @@ -13,12 +13,14 @@ 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.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 +oCic2NCic.cmo: nUri.cmi nReference.cmi nCicSubstitution.cmi nCic.cmo \ + oCic2NCic.cmi +oCic2NCic.cmx: nUri.cmx nReference.cmx nCicSubstitution.cmx nCic.cmx \ + oCic2NCic.cmi nCicEnvironment.cmo: oCic2NCic.cmi nUri.cmi nReference.cmi nCic.cmo \ nCicEnvironment.cmi nCicEnvironment.cmx: oCic2NCic.cmx nUri.cmx nReference.cmx nCic.cmx \ diff --git a/helm/software/components/ng_kernel/.depend.opt b/helm/software/components/ng_kernel/.depend.opt index ed86d2687..0900c08de 100644 --- a/helm/software/components/ng_kernel/.depend.opt +++ b/helm/software/components/ng_kernel/.depend.opt @@ -1,7 +1,7 @@ nReference.cmi: nUri.cmi -oCic2NCic.cmi: nCic.cmx nCicUtils.cmi: nCic.cmx nCicSubstitution.cmi: nCic.cmx +oCic2NCic.cmi: nCic.cmx nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmx nCicPp.cmi: nCic.cmx nCicReduction.cmi: nCic.cmx @@ -13,12 +13,14 @@ 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 +oCic2NCic.cmo: nUri.cmi nReference.cmi nCicSubstitution.cmi nCic.cmx \ + oCic2NCic.cmi +oCic2NCic.cmx: nUri.cmx nReference.cmx nCicSubstitution.cmx nCic.cmx \ + oCic2NCic.cmi nCicEnvironment.cmo: oCic2NCic.cmi nUri.cmi nReference.cmi nCic.cmx \ nCicEnvironment.cmi nCicEnvironment.cmx: oCic2NCic.cmx nUri.cmx nReference.cmx nCic.cmx \ -- 2.39.2