popl09/popltoctl.cmo : \
    ctl/wrapper_ctl.cmi \
    parsing_cocci/visitor_ast.cmi \
    engine/lib_engine.cmi \
    popl09/flag_popl.cmi \
    engine/asttoctl2.cmi \
    popl09/ast_popl.cmi \
    ctl/ast_ctl.cmi \
    parsing_cocci/ast_cocci.cmi \
    popl09/popltoctl.cmi
popl09/popltoctl.cmx : \
    ctl/wrapper_ctl.cmx \
    parsing_cocci/visitor_ast.cmx \
    engine/lib_engine.cmx \
    popl09/flag_popl.cmx \
    engine/asttoctl2.cmx \
    popl09/ast_popl.cmx \
    ctl/ast_ctl.cmx \
    parsing_cocci/ast_cocci.cmx \
    popl09/popltoctl.cmi
