7.2 Shortcuts

All the MLWorks shortcuts are located in the installation's bin subdirectory.

mlworks: A shortcut that invokes the MLWorks interactive environment with only the General structure of the Standard ML Basis Library.
mlworks-basis: A shortcut that invokes a version of the MLWorks interactive environment containing a built-in copy of the full Standard ML Basis library.
main.exe: An executable file that invokes the MLWorks runtime system on the MS-DOS command line, providing standard I/O. The runtime system provides support for running MLWorks object files (.mo) and image files (.img).
: See the output of main.exe -help for more details.
main-windows.exe
: An executable file that invokes the MLWorks runtime in the Windows context.
mlbatch.bat: A script that invokes MLWorks on the command line as a batch compiler. It can be used to compile ML source files (.sml) into MLWorks object files (.mo)
mlimage-windows.bat
: A script that restarts saved MLWorks interactive environment sessions (that is, sessions started with mlworks or mlworks-basis). Interactive environment sessions can be saved to a .img file from the GUI environment podium window (File > Save Session As ...) or programmatically with the Shell.saveImage function.
mlimage-console.bat
: A script for running delivered images that run as console applications in an MS-DOS window, that is, images that use standard I/O.
mlpervasive.bat
: Because main.exe cannot execute object files without a copy of the pervasive library to hand, it requires you to pass a copy of the pervasive library to it whenever you want to execute object files. For convenience, there is a script mlpervasive.bat, which is like main.exe but which loads the pervasive library image, images\pervasive.img, automatically. (The various supplied image files are covered in Section 7.4 on page 14.)