-ctl_engine.cmi: ast_ctl.cmo
-pretty_print_ctl.cmi: ast_ctl.cmo
-wrapper_ctl.cmi: ctl_engine.cmi ast_ctl.cmo
-ctl_engine.cmo: pretty_print_ctl.cmi flag_ctl.cmo ast_ctl.cmo ctl_engine.cmi
-ctl_engine.cmx: pretty_print_ctl.cmx flag_ctl.cmx ast_ctl.cmx ctl_engine.cmi
-pretty_print_ctl.cmo: flag_ctl.cmo ast_ctl.cmo pretty_print_ctl.cmi
-pretty_print_ctl.cmx: flag_ctl.cmx ast_ctl.cmx pretty_print_ctl.cmi
-test_ctl.cmo: wrapper_ctl.cmi ctl_engine.cmi ast_ctl.cmo
-test_ctl.cmx: wrapper_ctl.cmx ctl_engine.cmx ast_ctl.cmx
-wrapper_ctl.cmo: ctl_engine.cmi ast_ctl.cmo wrapper_ctl.cmi
-wrapper_ctl.cmx: ctl_engine.cmx ast_ctl.cmx wrapper_ctl.cmi
+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 ../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 ../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 \
+ pretty_print_ctl.cmi
+test_ctl.cmo: wrapper_ctl.cmi ../commons/ograph_extended.cmi ctl_engine.cmi \
+ ast_ctl.cmo
+test_ctl.cmx: wrapper_ctl.cmx ../commons/ograph_extended.cmx ctl_engine.cmx \
+ ast_ctl.cmx
+wrapper_ctl.cmo: ../globals/flag.cmo ctl_engine.cmi ../commons/common.cmi \
+ ast_ctl.cmo wrapper_ctl.cmi
+wrapper_ctl.cmx: ../globals/flag.cmx ctl_engine.cmx ../commons/common.cmx \
+ ast_ctl.cmx wrapper_ctl.cmi