[MLton] building mlton on Solaris 10

[Gergely Buday]

Matthew Fluet wrote:

> > I'm trying to create mlton on a Solaris 10 machine with smlnj from
> > sources.
> We don't recommend using SML/NJ as a means of porting to a new platform or
> bootstrapping on a new platform.  See
>    http://mlton.org/PortingMLton

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

--- mlton.orig  2006-10-27 13:57:43.000000000 +0200
+++ mlton       2006-10-27 13:58:35.000000000 +0200
@@ -5,7 +5,7 @@
 set -e

 dir=`dirname $0`
-lib='/usr/local/lib/mlton'
+lib="$dir/../lib/mlton"
 eval `$lib/platform`
 gcc='gcc'
 case "$HOST_OS" in

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

- Gergely