===================
Compiling the mlt tool requires a "working version" of SML/NJ. It's
-best to use version 110.46 or later. You may have problems with any
+best to use version 110.49 or later. Earlier versions have
+incompatibilities, bugs, or both. You may have problems with any
version whatsoever, though, since this stuff uses some SML/NJ compiler
internals, and they may change often.
-If you're using a pre-110.46 version, you'll need to, at a minimum,
-get the SML/NJ source, make the following patches, and build it. Of
-course, there are no promises that everything will then work with that
-particular version. (Especially problematic are the changes in the
-Basis library spec that aren't backwards compatible.) The patch
-involves modifying some of the included .cm files to make a few
-additional internal structures visible. The necessary changes to make
-are described below, with paths given relative to your base SML/NJ
-directory. The lines listed for each file should be added right before
-the "is" keyword at the end of the exports list for a library. The
-"is" is on the first non-indented line after the initial "Library"
-line in each of these files.
-
-The following lines to src/compiler/core.cm:
- structure Types
- structure EntityEnv
- structure Modules
- structure Stamps
- structure Bindings
- structure TypesUtil
- structure VarCon
- structure ModuleUtil
- structure II
- structure BasicTypes
- structure PPType
- structure Access
-
-The following lines to both src/system/smlnj/compiler/current.cm
-and src/system/smlnj/compiler/x86.cm:
- structure Types
- structure EntityEnv
- structure Modules
- structure Stamps
- structure Bindings
- structure TypesUtil
- structure VarCon
- structure ModuleUtil
- structure II
- structure BasicTypes
- structure PPType
- structure Access
- structure Unify
-
-The following line to src/compiler/Elaborator/elaborate.cm:
- structure Unify
-
-Finally, add the following line somewhere _below_ the "is" in
-src/system/smlnj/compiler/x86.cm:
- $smlnj/viscomp/elaborate.cm
-
-After making these changes, you can rebuild and install the compiler
-with the following sequence of commands:
-
-cd $smlnjdir/src/system
-sml
-CM.autoload "$smlnj/cmb.cm";
-CMB.make ();
-<exit from sml by typing the end-of-file sequence>
-./makeml
-./installml
-
=============
Configuration