[MLton] x86_64 bootstrap instructions?

Neil Conway neilc at samurai.com
Mon Nov 6 11:46:35 PST 2006


On Fri, 2006-10-27 at 16:35 -0400, Matthew Fluet wrote:
> Right; this is because mlton thinks that it running on i386, so calls gcc 
> without the -m32 flags.  But, gcc thinks that it is running on amd64, so 
> it reports an error for unsupported instructions.
> 
> I think that there are two ways around this:
>   1) edit "/usr/lib/mlton/target-map", replacing "i386" with "amd64"

I tried this, and after fixing some issues with my ia32 setup, I was
able to bootstrap mlton on AMD64 successfully. Thanks for your help!
Should any of the information in your email be placed on the wiki?

> > In file included from /usr/include/features.h:346,
> >                 from /usr/include/stdio.h:28,
> >                 from arithchk.c:27:
> > /usr/include/gnu/stubs.h:7:27: error: gnu/stubs-32.h: No such file or
> > directory
> 
> That's not a problem with MLton.  I would guess that you haven't installed 
> some lib32 devel packages.

Indeed, my mistake.

-Neil





More information about the MLton mailing list