2.8 Extra mosmlc options

You can add an option to all mosmlc commands by putting it in the makefile variable $(MOSMLFLAGS).

Sometimes you may wish to include options to a select few mosmlc invocations only. If you add `<c:text>' to the `Dependencies' line for a unit (or to a macro mentioned by that line), the text will be added verbatim to the mosmlc commands that compile that unit. (There may be up to three such commands, depending on which separate-compilation model you use; see section 2.2 Separate Compilation).

The text can contain spaces and other special characters (even `#', `{', `}'), but may not span lines. If you want to have `<' or `>' in the text, double them (i.e., `<<' or `>>').

Similarly, if you add `<l:text>' to the definition of a unit, the text will be added to the mosmlc command that links any program that include the unit.

Either of these constructions can be repeated as many times as you need; the texts will appear on the command lines in the order they're given in the `Dependencies' file.

If you want the same text to be used in both compilation and linking commands, you can abbreviate `<c:text> <l:text>' to `<cl:text>'.