[MLton] x86_64 bootstrap instructions?

Matthew Fluet fluet at cs.cornell.edu
Mon Nov 6 12:03:56 PST 2006


>> 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?

Probably.  The other thing I will do will be to make an experimental 
binary package for amd64-linux, which will solve some of those initial 
bootstrap problems.



More information about the MLton mailing list