Coccinelle release 0.2.5-rc8

[bpt/coccinelle.git] / ctl / .depend

diff --git a/ctl/.depend b/ctl/.depend
index df69418..9e82586 100644 (file)
--- a/ctl/.depend
+++ b/ctl/.depend
@@ -1,10 +1,16 @@
 ctl_engine.cmi: ../commons/ograph_extended.cmi ast_ctl.cmo 
 pretty_print_ctl.cmi: ast_ctl.cmo 
 wrapper_ctl.cmi: ctl_engine.cmi ast_ctl.cmo 
+ast_ctl.cmo: 
+ast_ctl.cmx: 
 ctl_engine.cmo: pretty_print_ctl.cmi ../commons/ograph_extended.cmi \
-    flag_ctl.cmo ../commons/common.cmi ast_ctl.cmo ctl_engine.cmi 
+    flag_ctl.cmo ../globals/flag.cmo ../commons/common.cmi ast_ctl.cmo \
+    ctl_engine.cmi 
 ctl_engine.cmx: pretty_print_ctl.cmx ../commons/ograph_extended.cmx \
-    flag_ctl.cmx ../commons/common.cmx ast_ctl.cmx ctl_engine.cmi 
+    flag_ctl.cmx ../globals/flag.cmx ../commons/common.cmx ast_ctl.cmx \
+    ctl_engine.cmi 
+flag_ctl.cmo: 
+flag_ctl.cmx: 
 pretty_print_ctl.cmo: flag_ctl.cmo ../commons/common.cmi ast_ctl.cmo \
     pretty_print_ctl.cmi 
 pretty_print_ctl.cmx: flag_ctl.cmx ../commons/common.cmx ast_ctl.cmx \