some work for auto

[helm.git] / helm / software / lambda-delta / .depend.opt

diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/lambda-delta/.depend.opt
index eb479838eab1f60d76cc4d2dea066b9112b2fe72..19f473c6d9f164d48f6be61f754f604dec364751 100644 (file)
--- a/helm/software/lambda-delta/.depend.opt
+++ b/helm/software/lambda-delta/.depend.opt
@@ -126,6 +126,11 @@ dual_rg/drgAut.cmo: lib/nUri.cmi common/entity.cmx dual_rg/drg.cmx \
     lib/cps.cmx automath/aut.cmx dual_rg/drgAut.cmi 
 dual_rg/drgAut.cmx: lib/nUri.cmx common/entity.cmx dual_rg/drg.cmx \
     lib/cps.cmx automath/aut.cmx dual_rg/drgAut.cmi 
+dual_rg/drgBrg.cmi: dual_rg/drg.cmx basic_rg/brg.cmx 
+dual_rg/drgBrg.cmo: common/entity.cmx dual_rg/drg.cmx lib/cps.cmx \
+    basic_rg/brg.cmx dual_rg/drgBrg.cmi 
+dual_rg/drgBrg.cmx: common/entity.cmx dual_rg/drg.cmx lib/cps.cmx \
+    basic_rg/brg.cmx dual_rg/drgBrg.cmi 
 toplevel/meta.cmo: common/entity.cmx 
 toplevel/meta.cmx: common/entity.cmx 
 toplevel/metaOutput.cmi: toplevel/meta.cmx