tools/spgen/source/main.cmo : \
    tools/spgen/source/spgen_test.cmi \
    tools/spgen/source/spgen.cmi \
    tools/spgen/source/main.cmi
tools/spgen/source/main.cmx : \
    tools/spgen/source/spgen_test.cmx \
    tools/spgen/source/spgen.cmx \
    tools/spgen/source/main.cmi
