How do I install mosml on Linux?

Update: As part of the preparations for this years course in Introduction to Programming, Moscow ML 2.10 has been released: http://mosml.org. My answer has been updated to reflect the changes. The comments below should also be disregarded, as they don't apply any more.

Furthermore, a binary package for Ubuntu 13.04 has been compiled, and is available through my personal Launchpad PPA. To install it, run:

$ sudo apt-add-repository ppa:pmunksgaard/mosml
$ sudo apt-get update
$ sudo apt-get install mosml

As I have understood, binary packages for Windows and Mac will also be provided, and I will update this answer as they become available.

A windows installer that also includes Emacs and SML-mode can be acquired from Sebbe's webpage here: http://mathemaniac.org/apps/ip-pakken/

Though not necessary, it is also possible to compile Moscow ML yourself (assuming that you have installed the build-essential package on Ubuntu, or the equivalent packages on other distributions) by first checking out the source:

$ git clone https://github.com/kfl/mosml
$ cd mosml/src

Then set the variable MOSMLHOME in the file Makefile.inc. It could look like one of the following:

MOSMLHOME=${HOME}/mosml   # this places mosml in a separate directory in your home directory
MOSMLHOME=/opt/mosml      # this places mosml in a separate system directory
MOSMLHOME=/usr/local      # this places mosml together with other installed software

Finally compile and install it by running

$ make world
$ sudo make install