[MLton] Building MLton

[Matthew Fluet]

> I note I have these switches:
> 
> -mtune=opteron -m32
> 
> which means it should be trying to build a 32 bit version.
> The best way to get C code to work 64 bit is to try it :)

You can try it, but we can tell you right now it won't even come close to 
working.  The C-codegen, while emitting C, is still very carefully 
constructed C code, with _many_ implicit and explicit dependencies on 
32-bit pointers.

> For bytecode:
> 
> gcc -std=gnu99 -fomit-frame-pointer -I../runtime -I../include -Wall
> -mtune=opteron -m32  -o print-opcodes -I../runtime -L../runtime        \
>         print-opcodes.c -lmlton
> 
> This looks like a bug in my system configuration .. anyone
> have any clues?

No idea.