> I would probably not do that, but store them in a top-level rpms directory in
> the source MLton directory root.
I believe we're closing in on a fixed point. How about creating the following
in the MLton src dir, and building (and leaving) the rpms there
rpms/{BUILD,RPMS,SOURCES,...}