9.20 Options for controlling mmc –make

-k

--keep-going

With ‘--make’, keep going as far as possible even if an error is detected.

--order-make-by-timestamp

Tell mmc --make to compile more recently modified source files first.

--show-make-times

Report run times for commands executed by mmc --make.

-j N

--jobs N

With ‘--make’, attempt to perform up to ‘N’ jobs concurrently.

--track-flags

--track-options

With ‘--make’, keep track of the options used when compiling each module. If an option for a module is added or removed, mmc --make will then know to recompile the module even if the timestamp on the file itself has not changed. Warning options, verbosity options, and build system options are not tracked.

--pre-link-command command

–no-pre-link-command

Specify a command to run before linking with mmc --make. This can be used to compile C source files which rely on header files generated by the Mercury compiler. The command will be passed the names of all of the source files in the program or library, with the source file containing the main module given first.