popl09/pretty_print_popl.cmo : \
    parsing_cocci/pretty_print_cocci.cmi \
    popl09/ast_popl.cmi \
    parsing_cocci/ast_cocci.cmi \
    popl09/pretty_print_popl.cmi
popl09/pretty_print_popl.cmx : \
    parsing_cocci/pretty_print_cocci.cmx \
    popl09/ast_popl.cmx \
    parsing_cocci/ast_cocci.cmx \
    popl09/pretty_print_popl.cmi
