next up previous contents
Next: 2.4 Testing the newly Up: 2. Basic usage Previous: 2.2 Invoking the bootstrap   Contents

2.3 Booting a new interactive system

Once CMB.make() has completed its work successfully (indicated by its return value of true), the next step is to build a new heap image. To do so, issue the command makeml at the shell prompt:

$ ./makeml
Standard ML of New Jersey ...
./makeml: Heap image generated.

The makeml command generates a new heap image and also prepares stable libraries to be used by this image. Neither the heap image nor the libraries will at this time be installed for permanent use though. This means that invoking sml still starts the old system.

Again, the name of the generated heap image is variable and depends on programmer choice, current architecture, and current operating system. For example, on an Intel x86 Linux machine, the default would be sml.x86-linux.1

Matthias Blume