[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