tools/spgen/source/position_generator.cmo : \
    tools/spgen/source/snapshot.cmi \
    parsing_cocci/ast_cocci.cmi \
    parsing_cocci/ast0_cocci.cmi \
    tools/spgen/source/position_generator.cmi
tools/spgen/source/position_generator.cmx : \
    tools/spgen/source/snapshot.cmx \
    parsing_cocci/ast_cocci.cmx \
    parsing_cocci/ast0_cocci.cmx \
    tools/spgen/source/position_generator.cmi
