popl09/popl.cmo : \
    ctl/wrapper_ctl.cmi \
    popl09/popltoctl.cmi \
    engine/lib_engine.cmi \
    popl09/insert_quantifiers.cmi \
    popl09/asttopopl.cmi \
    ctl/ast_ctl.cmi \
    parsing_cocci/ast_cocci.cmi \
    popl09/popl.cmi
popl09/popl.cmx : \
    ctl/wrapper_ctl.cmx \
    popl09/popltoctl.cmx \
    engine/lib_engine.cmx \
    popl09/insert_quantifiers.cmx \
    popl09/asttopopl.cmx \
    ctl/ast_ctl.cmx \
    parsing_cocci/ast_cocci.cmx \
    popl09/popl.cmi
