[MLton] building mlton on Solaris 10

[Florian Weimer]

* Gergely Buday:

> I've compiled a 32-bit gmp onto sol10. Now I get the following compiling mlton:
>
> gmake[3]: Entering directory
> `/home/budayg/mltonbuild/mlton-20051202/lib/ckit-lib'
> gzip -dc ckit.tgz | tar xf -
> chmod -R a+r ckit
> chmod -R g-s ckit
> patch -p0 < ckit.patch
>  Looks like a unified context diff.
> File to patch:
>
> and I have to submit a file to patch. I have no clue what to
> answer. Do you?

What's your "patch" version?  Do you use GNU patch?