[MLton] Operton AMD64

Ray Racine rracine@adelphia.net
Mon, 03 Jan 2005 00:16:24 -0500


OK.  MLton is self-hosting using 32 bit C codegen on a dual Opteron
running on FC3-64.

[ray@gaffer ~]$ uname -a
Linux gaffer 2.6.9-1.681_FC3smp #1 SMP Thu Nov 18 15:30:11 EST 2004
x86_64 x86_64 x86_64 GNU/Linux
[ray@gaffer ~]$ /usr/local/bin/mlton
MLton MLTONVERSION (built Sun Jan 02 23:29:44 2005 on gaffer)

This, of course, is a 32 bit build and is not 64 bit.  

The various changes really are not that extensive.  But they are
hardcoded in situ right now.  One question is how you would like the
developer to specify whether they want to do a 32 or 64 bit build to the
Makefile(s)?  Symbol suggestions?  x86_64-32 vs x86_64-64

Right now of course the MLton build system determines everything it
needs by querying host and OS.  However it needs some way to determine
the 32 vs 64 wishes of the user.  I suppose even after you guys get full
64 going, for awhile after that you'll still want the option to create
32 bit versions of the compiler.

Next step is to get native codegen working.  I expect that to be pretty
trivial.  

Ahh, there is some kind of oddness with the -lgmp.  To get where I am
now I just softlinked libgmp into the mlton/self directory.  I'll poke
at this some more once I get native codegen going. 

Ray

P.S Did you know that MLton compiling itself using -codegen c creates
208 c files??  Well I suppose you do...