engine/check_reachability.cmo : \
    ctl/wrapper_ctl.cmi \
    ctl/flag_ctl.cmi \
    globals/flag.cmi \
    ctl/ctl_engine.cmi \
    parsing_c/control_flow_c.cmi \
    ctl/ast_ctl.cmi \
    engine/check_reachability.cmi
engine/check_reachability.cmx : \
    ctl/wrapper_ctl.cmx \
    ctl/flag_ctl.cmx \
    globals/flag.cmx \
    ctl/ctl_engine.cmx \
    parsing_c/control_flow_c.cmx \
    ctl/ast_ctl.cmx \
    engine/check_reachability.cmi
