engine/ctltotex.cmo : \
    parsing_cocci/pretty_print_cocci.cmi \
    engine/lib_engine.cmi \
    ctl/ast_ctl.cmi \
    engine/ctltotex.cmi
engine/ctltotex.cmx : \
    parsing_cocci/pretty_print_cocci.cmx \
    engine/lib_engine.cmx \
    ctl/ast_ctl.cmx \
    engine/ctltotex.cmi
