[MLton] FYI: Compiling MLKit with MLton

[Vesa Karvonen]

Quoting Vesa Karvonen <vesa.karvonen at cs.helsinki.fi>:

> Just in case this might interest others.  I was able to compile a recent MLKit
> checkout (from http://sourceforge.net/projects/mlkit) with MLton on a 2GHz x86

Oops, I meant 2.8GHz.

> linux machine with (only;-) 1.5GB memory.  The recent fix to the MLB grammar
> (http://mlton.org/pipermail/mlton-commit/2006-October/000774.html) is necessary
> to compile latest MLKit with MLton.  Compilation took 114m26.912s.  The resulting
> executable was 105151508 bytes before stripping and 59049352 bytes after stripping.
> I have a -verbose 3 log of the compilation, in case someone is interested.

-Vesa Karvonen