tools/spgen/source/script_rule.cmo : \
    tools/spgen/source/user_input.cmi \
    tools/spgen/source/meta_variable.cmi \
    tools/spgen/source/globals.cmi \
    tools/spgen/source/script_rule.cmi
tools/spgen/source/script_rule.cmx : \
    tools/spgen/source/user_input.cmx \
    tools/spgen/source/meta_variable.cmx \
    tools/spgen/source/globals.cmx \
    tools/spgen/source/script_rule.cmi
