SML/NJ installation notes

COS 320: Compiling Techniques, Spring 2012, Princeton University.

Using ML on hats.princeton.edu or arizona.princeton.edu

Put ~cos320/ml/bin on your search path, and run "sml".

Using ML on portal.cs.princeton.edu

Put /cmnusr/local/sml/bin on your search path, and run "sml".

Installing ML on your own machine

Download Standard ML of New Jersey from smlnj.org. We will be using SML/NJ version 110.73.

* On Windows, install this.
* On Macintosh, install this, unless you have an antique Mac with the PowerPC processor, in which case this.
* On Linux/Unix, unpack this. If you want sml to be in $WHEREVER/bin/sml, then you should unpack it inside directory $WHEREVER; then, sitting in $WHEREVER, run config/install.sh.

Usage notes on Windows.

If you run "SML of New Jersey" from the Start menu, it will start in your C:\Windows\system32 directory. You can "cd" to another directory by
- OS.FileSys.chDir "\path\name\etc";
or you can make a Windows shortcut that starts wherever you want, by modifying the "Start in:" of the properties.

Or, you can just run a command prompt, change to whatever directory you're working in, and run "sml.bat" (if it has not been added to your PATH, it's in C:\Program Files\SMLNJ\bin\sml.bat ).

I prefer to run sml inside a shell window of my Cygwin emacs.

Usage notes on Macintosh