engine/ctlcocci_integration.cmo : \
    ctl/wrapper_ctl.cmi \
    engine/pretty_print_engine.cmi \
    parsing_cocci/pretty_print_cocci.cmi \
    parsing_c/pretty_print_c.cmi \
    engine/postprocess_transinfo.cmi \
    engine/pattern_c.cmi \
    parsing_c/lib_parsing_c.cmi \
    engine/lib_engine.cmi \
    parsing_cocci/flag_parsing_cocci.cmi \
    engine/flag_matcher.cmi \
    globals/flag.cmi \
    parsing_c/control_flow_c.cmi \
    commons/common.cmi \
    engine/check_reachability.cmi \
    engine/c_vs_c.cmi \
    ctl/ast_ctl.cmi \
    parsing_cocci/ast_cocci.cmi \
    parsing_c/ast_c.cmi \
    engine/ctlcocci_integration.cmi
engine/ctlcocci_integration.cmx : \
    ctl/wrapper_ctl.cmx \
    engine/pretty_print_engine.cmx \
    parsing_cocci/pretty_print_cocci.cmx \
    parsing_c/pretty_print_c.cmx \
    engine/postprocess_transinfo.cmx \
    engine/pattern_c.cmx \
    parsing_c/lib_parsing_c.cmx \
    engine/lib_engine.cmx \
    parsing_cocci/flag_parsing_cocci.cmx \
    engine/flag_matcher.cmx \
    globals/flag.cmx \
    parsing_c/control_flow_c.cmx \
    commons/common.cmx \
    engine/check_reachability.cmx \
    engine/c_vs_c.cmx \
    ctl/ast_ctl.cmx \
    parsing_cocci/ast_cocci.cmx \
    parsing_c/ast_c.cmx \
    engine/ctlcocci_integration.cmi
