6.3 The installml script

The installml script moves a heap image $v$. arch- osname to ../../bin/.heap/sml. arch- osname. Moreover, it moves the libraries under $v$.lib to ../../lib and updates ../../lib/pathconfig accordingly.

The script takes one optional argument which specifies $v$. If no argument is given, $v$ defaults to sml.