tools/spgen/source/spgen_config.cmo : \
    tools/spgen/source/user_input.cmi \
    tools/spgen/source/spgen_lexer.cmi \
    tools/spgen/source/globals.cmi \
    commons/common.cmi \
    tools/spgen/source/spgen_config.cmi
tools/spgen/source/spgen_config.cmx : \
    tools/spgen/source/user_input.cmx \
    tools/spgen/source/spgen_lexer.cmx \
    tools/spgen/source/globals.cmx \
    commons/common.cmx \
    tools/spgen/source/spgen_config.cmi
