[MLton] building mlton on Solaris 10

[Matthew Fluet]

> I've installed mlton for sol8 into my home directory on a sol10
> machine. This worked for "Hello World!" but needed a small patch:

Right; this is documented at:
   http://mlton.org/Installation

   "If you install MLton somewhere else, you must set the lib variable in
   the /usr/bin/mlton script to the directory that contains the libraries
   (/usr/lib/mlton by default)."

> Now I'm to run the regression tests to see what's wrong.

Keep us posted.