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