[MLton] self-compiled mlton on redhat 9

[Matthew Fluet]

> > The second patch replaces verbose 1 with verbose 3. I think this
> > is a good idea, so that one sees the progress when building the
> > package.
>
> Anyone have any thoughts on this?  I wouldn't go as far as -verbose 3,
> but I might be convinced to go to -verbose 2.  But I lean toward
> keeping the default as -verbose 1.

I don't see that it hurts any, to go to -verbose 2.  Most of the time,
when a problem comes up with someone porting or trying a self-compile on a
new distribution, we first ask them to change the verbose line to see
where things are going wrong.