parsing_cocci/pretty_print_cocci.cmo : \
    globals/flag.cmi \
    commons/common.cmi \
    parsing_cocci/ast_cocci.cmi \
    parsing_cocci/pretty_print_cocci.cmi
parsing_cocci/pretty_print_cocci.cmx : \
    globals/flag.cmx \
    commons/common.cmx \
    parsing_cocci/ast_cocci.cmx \
    parsing_cocci/pretty_print_cocci.cmi
