tools/spgen/source/globals.cmo : \
    parsing_c/flag_parsing_c.cmi \
    parsing_cocci/ast_cocci.cmi \
    tools/spgen/source/globals.cmi
tools/spgen/source/globals.cmx : \
    parsing_c/flag_parsing_c.cmx \
    parsing_cocci/ast_cocci.cmx \
    tools/spgen/source/globals.cmi
