1. Run sml -m sources.cm saveit.sml
-1. Download and unpack MWB 4.135
, not the latest version. Apply the patch for distinction handling to it. (The interface to some standard libraries changed incompatibly somewhere between 110.0.7 and 110.55.)
0. Edit sources.cm by deleting the two lines
str : suffix (sml)
$/basis.cm
you may have to edit the file "loadit.sml" after step 3 above, since CM.sa writes it using \ as a directory delimiter in pathnames, without quoting it in strings (this is a bug in SML/NJ, at least version 110.0.7). In this case, you need to double all those \ characters.
Run mwb.sh to start it!
You may want to rename the file "mwb.sh" to "mwb.bat" in order to start the MWB.
Fresh papers:
, M.Sc. thesis
, SEFM 2011
, Submitted 2011
, LMCS 7(1) 2011
, LICS 2010
, TPHOLS 2009
, LICS 2009