[MLton] MLRISC in MLton

Matthew Fluet fluet@cs.cornell.edu
Sat, 4 Mar 2006 14:36:22 -0500 (EST)


> I'll try to put together a copy of MLton compatible sources, but it probably 
> won't be until late this week.

I've checked in a copy of MLton compatible sources of the MLRISC library.
   http://mlton.org/MLRISCLibrary

There are a couple of options for making use of it.

1) Check out the current sources and copy the MLRISC Library into your
    installed MLton distribution.
    The following page has instructions for checking out the sources:
      http://mlton.org/Sources

    You'll want to do something like this:

      svn co svn://mlton.org/mlton/trunk mlton
      cd mlton/lib/mlrisc-lib
      make
      /bin/cp -fpR MLRISC /usr/lib/mlton/sml/mlrisc-lib

    You can delete the sources after copying them.

2) Check out the current sources and self-compile.
    The following pages have some info on doing this:
      http://mlton.org/Sources
      http://mlton.org/SelfCompiling

Unless you are familiar with self-compiling, then it will be much easier 
to follow option 1.


Note, this "ports" the portions of the MLRISC library that are used by 
SML/NJ itself and by Moby -- the only two projects I know of that use 
MLRISC.  There are a _lot_ of MLRISC files that aren't used by these 
projects, and those files haven't been ported.  It's not even clear to me 
that the current SML/NJ sources are set up to properly build many of these 
extra files.

Also, I can't offer any advice on using the MLRISC Library.  I've never 
been able to get the "demo" in the demo directory to build correctly with 
SML/NJ, let alone figure out what additional changes are necessary to work 
with MLton.