To use the Makefile below, first edit it so that all the required units (.uo files) appear on the line beginning with `all:', then proceed as explained in Section 6.1. You do not need to edit any other part of the Makefile. In particular, the dependencies following DO NOT DELETE THIS LINE are generated automatically when executing make depend (as above). A copy of the Makefile can be found in mosml/tools/Makefile.stub.
You will need only the Unix utility make.
