tools/spgen/source/spgen_interactive.cmo : \
    tools/spgen/source/user_input.cmi \
    tools/spgen/source/spgen_interactive.cmi
tools/spgen/source/spgen_interactive.cmx : \
    tools/spgen/source/user_input.cmx \
    tools/spgen/source/spgen_interactive.cmi
