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