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